Probabilistic Risk Analysis Tool (fault tree analysis, event tree analys...
A Modern Probabilistic Model Checker