selected publications

• chapter

  • Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach.  Lecture Notes in Computer Science. 2021

• conference paper

  • FERAL — Framework for simulator coupling on requirements and architecture level.  Formal Methods. 11-22. 2013