KTH - Safe & Reliable Computer Control Systems Concepts and Methods
An Experimental Evaluation on Reliability Features of N-Version Programming Xia Cai, Michael R. Lyu and Mladen A. Vouk ISSRE’2005.