Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. - Joost-Pieter Katoen; Tim Kemna; Ivan S. Zapreev; David N. Jansen (TACAS, 2007)