selected publications

• conference paper

  • Integrating Safety into MBSE Processes with Formal Methods.  . 2021
  • Evaluating System Architecture Safety in Early Phases of Development with MBSE and STPA.  . 2021