Model Checking Markov Chains: Techniques and Tools door I. Zapreev