Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver - Annabelle McIver, Charles Carroll Morgan