Abstraction, Refinement and Proof for Probabilistic Systems - McIver, Annabelle (Springer Science+Business Media, Inc., 2005)