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)