The Ins and Outs of the Probabilistic Model Checker MRMC
Bisimulation minimisation mostly speeds up probabilistic model checking