Don't have Telegram yet? Try it now!
https://de.readrate.com/deu/books/abstraction-refinement-and-proof-for-probabilistic-systems
Abstraction, Refinement and Proof for Probabilistic Systems