The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems. - Stephen P. Wilson; John A. McDermid; P. M. Kirkham; Peter Fenelon (ECBS, 1996)

Computer Based Support for Standards and Processes in Safety Critical Systems. - Stephen P. Wilson; John A. McDermid; P. M. Kirkham; Clive H. Pygott; David J. Tombs (SAFECOMP, 1997)