Implementing Design Diversity to Achieve Fault Tolerance. - John P. J. Kelly; Thomas I. McVittie; Wayne I. Yamamoto (IEEE Softw., 1991)