Abstraction, refinement and proof for probabilistic systems - McIver, Annabelle, 1964- (Monographs in computer science, 2005)