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