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