Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models. - Adrian Beer; Todor G. Georgiev; Florian Leitner-Fischer; Stefan Leue (MBEES, 2013)

Symbolic Causality Checking Using Bounded Model Checking. - Adrian Beer; Stephan Heidinger; Uwe Kühne; Florian Leitner-Fischer; Stefan Leue (SPIN, 2015)