From Probabilistic Counterexamples via Causality to Fault Trees.

Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue

Browse the full SAFECOMP paper archive.