selected publications

• academic article

  • A Toolchain for Synthesizing and Validating Safety Architectures.  SN computer science.  4. 2023

• chapter

  • Architectures for Flexible Collaborative Systems.  Springer eBooks. 49-70. 2020

• conference paper

  • A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis.  . 2022