An International Survey of Industrial Applications of Formal Methods. - Dan Craigen; Susan L. Gerhart; Ted Ralston (Z User Workshop, 1992)

Observations on Industrial Practice Using Formal Methods. - Susan L. Gerhart; Dan Craigen; Ted Ralston (ICSE, 1993)

Experience with Formal Methods in Critical Systems. - Susan L. Gerhart; Dan Craigen; Ted Ralston (IEEE Softw., 1994)

Case Study: Darlington Nuclear Generating Station. - Susan L. Gerhart; Dan Craigen; Ted Ralston (IEEE Softw., 1994)

The Role of Education and Trainig in the Industrial Application of Formal Methods. - Ted Ralston; Susan L. Gerhart; Dan Craigen (AMAST, 1995)

Formal Methods Reality Check: Industrial Usage. - Dan Craigen; Susan L. Gerhart; Ted Ralston (IEEE Trans. Software Eng., 1995)