selected publications conference paper SEnSE – An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems 2018 ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures 2015