selected publications

• academic article

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

• conference paper

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