Asim Abdulkhaleq, Stefan Wagner 0001. Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings. Volume 9337 of Lecture Notes in Computer Science, pages 121-134, Springer, 2015. [doi]
Abstract is missing.