"Abstraction, Refinement and Proof for Probabilistic Systems" - читать интересную книгу автора (Annabelle McIver, Charles Carroll Morgan)