1. Bowen J, Stavridou V: “Safety-critical systems, formal methods and standards”. Software Engineering Journal 8: 189–209.
2. Brazendale J, Jeffs AR: “Out of control: failures involving control systems”. High Integrity Systems 1: 67–72.
3. Broomfield ET, Chung PWH: “A hazard identification methodology for programmable systems”. In: “Risk Management and Critical Protective Systems”, Safety & Reliability Conference, Altrincham, Cheshire, 12–13 October 1994. SaRS Ltd.
4. Broomfield ET, Chung PWH: “Hazard Identification in Programmable Systems–A Methodology and Case Study”. Applied Computing Review 2: 7–14.
5. Chudleigh MF, Clare JN: “The benefits of SUSI: safety analysis of user system interaction”. In: “Safecomp 93”–12th International Conference on Computer Safety, Reliability and Security (Ed. Gorski J), Springer-Verlag, London, pp. 219–229.