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