www.prismmodelchecker.org
[KLFL11] Matthias Kuntz, Florian Leitner-Fischer and Stefan Leue. From Probabilistic Counterexamples via Causality to Fault Trees. In Proc. 30th International Conference on Computer Safety, Reliability, and Security (SAFECOMP'11). 2011.
Links: [Google] [Google Scholar]

Publications