Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver, Carroll Morgan ((Monographs in Computer Science))