1. Requirements for the Procurement of Safety Critical Software, UK Ministry of Defence‘Interim Defence Standard’, 00-55, 1991
2. IEC 65a: Functional Safety of Electrical/Electronic/Programmable Electronic Systems: Generic Aspects. International Electrotechnical Commission, 1992
3. Taylor, J.R.: Fault tree and cause consequence analysis for control software validation, (Riso National Laboratory, Denmark 1982),Riso-M-2326
4. Dijkstra, E.W.: A discipline of programming, (Prentice Hall, Englewood Cliffs, New Jersey 1976)