Formal Methods Fact vs. Fiction. - C. Michael Holloway; Ben L. Di Vito; David Guaspari; Michael K. Smith (TRI-Ada, 1994)

Software Engineering and Epistemology. - C. Michael Holloway (ACM SIGSOFT Softw. Eng. Notes, 1995)

An Invitation to Formal Methods. - Jonathan P. Bowen; Ricky W. Butler; David L. Dill; Robert L. Glass; David Gries; Anthony Hall; Michael G. Hinchey; C. Michael Holloway; Daniel Jackson 001; Cliff B. Jones; Michael J. Lutz; David Lorge Parnas; et al. (Computer, 1996)

Evaluating the Effectiveness of Independendent Verification and Validation. - James D. Arthur; Markus K. Gröner; Kelly J. Hayhurst; C. Michael Holloway (Computer, 1999)

A survey of logic formalisms to support mishap analysis. - Chris W. Johnson 001; C. Michael Holloway (Reliab. Eng. Syst. Saf., 2003)

The ESA/NASA SOHO mission interruption: using the STAMP accident analysis technique for a software related 'mishap'. - Chris W. Johnson 001; C. Michael Holloway (Softw. Pract. Exp., 2003)

A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006). - Chris W. Johnson 001; C. Michael Holloway (SSS, 2007)

Towards Assessing Necessary Competence. - C. Michael Holloway; Chris W. Johnson 001 (CoRR, 2014)