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