1. Blyth, D., Boldyreff, C., Ruggles, C., Tetteh-Lartey, N.: The case for formal methods in standards. IEEE Software 7(5), 65–67 (1990)
2. Bowen, J.P.: Formal Specification and Documentation Using Z: A Case Study Approach. International Thomson Computer Press (1996)
3. Brown, S.: Overview of IEC 61508. Design of electrical/electronic/programmable electronic safety-related systems. Computing & Control Engineering Journal 11(1), 6–12 (2000)
4. Cortellessa, V., Cukic, B., Mili, A., Shereshevsky, M., Sandhu, H., Del Gobbo, D., Napolitano, M.: Certifying Adaptive Flight Control Software. In: Proceedings of the ISACC 2000 - The Software Risk Management Conference, Reston, VA, USA (2000)
5. McDermid, J.A., Pumfrey, D.J.: Software Safety: Why is there no Consensus? In: Proceedings of the 19th International System Safety Conference, Huntsville, AL, USA (2001)