Abstraction, refinement and proof for probabilistic systems / ed. A. McIver, 2005 r=on-line. - Текст : электронный.