1. AF3 – AutoFOCUS 3. Available at
  2. Fault Tree Analysis – FT +. Available at
  3. J. P. C. Ardila, B. Gallina & G. Governatori (2018): Lessons Learned while Formalizing ISO 26262 for Compliance Checking. In: 2nd Workshop on TeReCom - Tech. for Regulatory Compliance, pp. 5–16.
  4. C. Baral (2010): Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
  5. C. Kreiner C. Preschern, N. Kajtazovic (2013): Security Analysis of Safety Patterns. In: 20th Conference on Pattern Languages of Programs, PLoP '13, USA, pp. 12:1–12:38.
  6. C. Cârlan, V. Nigam, A. Tsalidis & S. Voss (2019): ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models. In: WoSoCer, doi:10.1109/ISSREW.2019.00093.
  7. GSN Community (2011): GSN Community Standard Version 1. Available at
  8. F. Crawley & B. Tyler (2015): HAZOP: Guide to Best Practice.
  9. L. Duan, S. Rayadurgam, M. P. E. Heimdahl, A. Ayoub, O. Sokolsky & I. Lee (2014): Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. In: FHIES 9062. Springer, pp. 64–80, doi:10.1007/978-3-319-63194-3_5.
  10. J. Dürrwang, K. Beckers & R. Kriesten (2017): A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain. In: SAFECOMP, doi:10.1007/978-3-319-66266-4_20.
  11. T. Eiter, G. Gottlob & H. Mannila (1997): Disjunctive Datalog. ACM Trans. Database Syst. 22(3), doi:10.1145/116825.116838.
  12. M. Gelfond & V. Lifschitz (1990): Logic Programs with Classical Negation. In: ICLP, pp. 579–597.
  13. M. Gleirscher & C. Cârlan (2017): Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern. In: HASE, pp. 53–60, doi:10.1109/HASE.2017.15.
  14. S. A. Gómez, A. Goron & A. Groza (2014): Assuring Safety in an Air Traffic Control System with Defeasible Logic Programming. In: 15th Argentine Symposium on Articial Intelligence, ASAI.
  15. P. Helle (2012): Automatic SysML-Based Safety Analysis. In: ACES-MB, pp. 19–24, doi:10.1145/2432631.2432635.
  16. SAE International (1996): Standard ARP 4761: Guidelines and Methods for Conducting the Safety Assessment. Available at
  17. SAE International (2011): ARP 4754a: Guidelines for Development of Civil Aircraft and Systems. Available at
  18. ISO (2011): ISO 26262, Road vehicles — Functional safety - Part 6: Product Development: Software Level. Available at
  19. A. Kondeva, C. Carlan, H. Ruess & V. Nigam (2019): On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. In: WoSoCer, doi:10.1109/ISSREW.2019.00095.
  20. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri & F. Scarcello (2006): The DLV System for Knowledge Representation and Reasoning. ACM Trans. Comput. Logic 7, pp. 499–562, doi:10.1145/1149114.1149117.
  21. N. Leveson & J. Thomas (2018): STPA Handbook.
  22. H. Martin, Z. Ma, Ch. Schmittner, B. Winkler, M. Krammer, D. Schneider, T. Amorim, G. Macher & Ch. Kreiner (2020): Combined automotive safety and security pattern engineering approach. Reliability Engineering & System Safety 198(2), pp. 1–35, doi:10.4018/jsse.2012040101.
  23. H. L. V. De Matos, A. M. da Cunha & L. A. V. Dias (2014): Using Design Patterns for Safety Assessment of Integrated Modular Avionics. In: DASC, doi:10.1109/DASC.2014.6979473.
  24. Defence UK Ministry (2007): Safety Management Requirements for Defence Systems. Available at
  25. V. Nigam, A. Pretschner & H. Ruess (2018): Model-Based Safety and Security Engineering. Available at White Paper.
  26. Gomez S.A., Groza A. & Chesnevar C.I. (2014): An Argumentative Approach to Assessing Safety in Medical Device Software Using Defeasible Logic Programming. In: Meditech.

Comments and questions to:
For website issues: