1. Jones, C. Specification and design (parallel) programs. in IFIP Information Processing 83. 1983: Elsevier.
2. Perrow, C., Normal Accidents: living with high-risk technologies. 1984: Basic Books.
3. Leveson, N.G., Safeware: System Safety and Computers. 1995: Addison-Wesley.
4. Meyer, B., Applying Design by Contract. IEEE Computer, 1992. 25(10): p. 40–52.
5. CENELEC, Safety-related electronic systems for signalling, European Committee for Electrotechnical Standardisation: Brussels.