Asking for the Impossible: The State of the Art in Safety-Related Systems. - Martyn Thomas (ESEC, 1989)

Development Methods for Trusted Computer Systems. - Martyn Thomas (Formal Aspects Comput., 1989)

Assessing Failure Probabilities in Safety-Critical Systems Containing Software. - Martyn Thomas (ICSE, 1990)

The role of formal methods in developing safety-critical software. - Martyn Thomas (Microprocess. Microsystems, 1990)

The industrial use of formal methods. - Martyn Thomas (Microprocess. Microsystems, 1993)

Top-Down vs. Bottom-Up Process Improvement. - Martyn Thomas; Frank E. McGarry (IEEE Softw., 1994)

Myths of the Year 2000. - Martyn Thomas (Comput. J., 1998)

The Modest Software Engineer. - Martyn Thomas (ISADS, 2003)

Engineering Judgement. - Martyn Thomas (SCS, 2004)

Bookshelf. - Art Sedighi; Martyn Thomas; Paula M. Bach; Mark A. Cohen (IEEE Softw., 2005)

Unsafe Standardization. - Martyn Thomas (Computer, 2007)

Professional Issues in System Safety Engineering. - John Alexander McDermid; Martyn Thomas; Felix Redmill (SSS, 2009)

Evaluation of a Real-Time Hybrid Three-Dimensional Echo and X-Ray Imaging System for Guidance of Cardiac Catheterisation Procedures. - Richard James Housden; Aruna Arujuna; YingLiang Ma; N. Nijhof; Geert Gijsbers; Roland Bullens; Mark D. O'Neill; Michael Cooklin; C. Aldo Rinaldi; Jaswinder S. Gill; Stam Kapetanakis; Jane Hancock; et al. (MICCAI (2), 2012)

Accidental Systems, Hidden Assumptions and Safety Assurance. - Martyn Thomas (SSS, 2012)

Registration of 3D trans-esophageal echocardiography to X-ray fluoroscopy using image-based probe tracking. - Gang Gao; Graeme P. Penney; YingLiang Ma; Nicolas Gogin; Pascal Cathier; Aruna Arujuna; Geraint Morton; Dennis Caulfield; Jaswinder S. Gill; C. Aldo Rinaldi; Jane Hancock; Simon Redwood; et al. (Medical Image Anal., 2012)

Introduction. - Alexander B. Romanovsky; Martyn Thomas (Industrial Deployment of System Engineering Methods, 2013)

Introducing Formal Methods into Existing Industrial Practices. - Martyn Thomas; Alexander B. Romanovsky (Industrial Deployment of System Engineering Methods, 2013)

Industrial Software Engineering and Formal Methods. - Martyn Thomas; Alexander B. Romanovsky (Industrial Deployment of System Engineering Methods, 2013)

The Development and Deployment of Formal Methods in the UK. - Cliff B. Jones; Martyn Thomas (Formal Aspects Comput., 2022)

Formal Methods in Industry. - Maurice H. ter Beek; Rod Chapman; Rance Cleaveland; Hubert Garavel; Rong Gu; Ivo ter Horst; Jeroen J. A. Keiren; Thierry Lecomte; Michael Leuschel; Kristin Yvonne Rozier; Augusto Sampaio 001; Cristina Seceleanu; et al. (Formal Aspects Comput., 2025)