1. Leveson, L.: Safeware: System Safety and Computers. Addison-Wesley, Boston (1995)
2. Firesmith, D.: Engineering Safety Requirements, Safety Constraints, and Safety-Critical Requirements. J. Obj. Tech. 3, 27–42 (2004)
3. Leveson, L.: Engineering a Safer World. MIT Press, Boston (2011)
4. Allenby, K., Kelly, T.: Deriving safety requirements using scenarios. In: Proc. 5th Int. Symp. Requirements Eng., pp. 228–235 (2001)
5. Ericson II, C.: Hazard Analysis Techniques for System Safety. Wiley, New York (2005)