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