1. Abdulkhaleq, A., Wagner, S., Leveson, N., 2015. A comprehensive safety engineering approach for software- intensive systems based on STPA. In: 3rd European STAMP Workshop, Amsterdam.
2. Asim, A., Stefan, W., 2015. Integrating State Machine Analysis with System-Theoretic Process Analysis. [Online]. Available: .
3. Asim, A., Daniel, L., Stefan, W., Jürgen,R., Norbert, B., Ludwig, R., Thomas, R., Hagen, B., 2017, A systematic approach based on stpa for developing a dependable architecture for fully automated driving vehicles. In: 4th European STAMP Workshop.
4. Asplund, F., El-Khoury, J., Torngren, M., 2012. Safety-Guided Design through System-Theoretic Process Analysis, Benefits and Difficulties. In: 30th International System Safety Conference, Atlanta, USA.
5. Principles of Model Checking;Baier,2007