Integrated Analysis of Complex Safety Critical Systems. - Stephen P. Wilson; John A. McDermid (Comput. J., 1995)

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)

Assessing Complex Computer Based Systems using the Goal Structuring Notation. - Stephen P. Wilson; John A. McDermid; Clive H. Pygott; David J. Tombs (ICECCS, 1996)

Managing analytical complexity of safety critical systems using viewpoints. - John A. McDermid; Andrew J. Vickers; Stephen P. Wilson (ISAW/Viewpoints@FSE, 1996)

Algebraic specification techniques and tools for software development - the ACT approach by I. ClaBen, H. Ehrig and D. Wolz, AMAST Series in Computing, Vol 1. World Scientific Publishing Co., USA, 1993, pp 237, £27.00, ISBN 981-02-1227-5. - Stephen P. Wilson (Knowl. Eng. Rev., 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)

Justifying reliability claims for a fault-detecting parallel architecture. - Clive H. Pygott; Stephen P. Wilson (J. Syst. Archit., 1997)