Model Based Safety Analysis with smartIflow †. - Philipp Hönig; Rüdiger Lunde; Florian Holzapfel (Inf., 2017)