1. Engineering Systems;NG Leveson,2011
2. NASA-GB- 8719.13: NASA Software Safety Guidebook (2004)
3. ISO26262: Road vehicles - Functional safety. International Standard (2011)
4. Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, 31 October 1977–2 November 1977, pp. 46–57 (1977)
5. Abdulkhaleq, A., Wagner. S.: Experiences with applying STPA to software-intensive systems in the automotive domain. In: STAMP Conference. MIT (2013)