selected publications academic article Employing early model-based safety evaluation to iteratively derive E/E architecture design. Science of Computer Programming. 90:161-179. 2014 conference paper Early safety evaluation of design decisions in E/E architecture according to ISO 26262. . 2012