1. Bowen O, Stavridou V (1982) Safety critical systems, formal methods and standards. Softw Eng J
2. MIL-STD-882D (2000)
3. Haider AA, Nadeem A (2013) A survey of safety analysis techniques for safety critical systems. Int J Future Comput Commun 2(2)
4. Leveson NG (1986) Software safety: why, what and how. Comput Surv 18(2)
5. Sindre G (2007) A look at misuse cases for security concerns. In: Proceedings of Henderson Sellers, IFIP WG8.1 working conference on situational method engineering: fundamental of experiences (ME 07). Geneva, Switzerland, IFIP Series, Heidelberg–Springer