Fault Tolerance by Design Diversity: Concepts and Experiments. - Algirdas Avizienis; John P. J. Kelly (Computer, 1984)

A large scale second generation experiment in multi-version software: description and early results. - John P. J. Kelly; David E. Jr. Eckhardt; Mladen A. Vouk; David F. McAllister; Alper K. Caglayan (FTCS, 1988)

Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications? - John P. J. Kelly (Fehlertolerierende Rechensysteme, 1989)

Techniques for building dependable distributed systems: multi-version software testing. - John P. J. Kelly; Thomas I. McVittie; Susan C. Murphy (FTCS, 1990)

Achieving Dependability Throughout the Development Process: A Distributed Software Experiment. - John P. J. Kelly; Susan C. Murphy (IEEE Trans. Software Eng., 1990)

Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment. - Susan C. Murphy; Per Gunningberg; John P. J. Kelly (Comput. Networks ISDN Syst., 1991)

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

An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability. - Dave E. Eckhardt; Alper K. Caglayan; John C. Knight; Larry D. Lee; David F. McAllister; Mladen A. Vouk; John P. J. Kelly (IEEE Trans. Software Eng., 1991)