Peter K. D. Froome

Independent Safety Assessment of Safety Arguments

Peter K. D. Froome, 2005, SSS.

The application of formal methods to the assessment of high integrity software

Robin E. Bloomfield, Peter K. D. Froome, 1986, IEEE Transactions on Software Engineering.

The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTTM Story

Peter K. D. Froome, Tim Clement, Ian Cottam, 1999, SAFECOMP.

MURAL and SPECBOX

Richard C. Moore, Peter K. D. Froome, 1991, VDM Europe.

The role of mathematically formal methods in the development and assessment of safety-critical systems

Brian Monahan, Peter K. D. Froome, 1988, Microprocess. Microsystems.