Cantor meets scott: semantic foundations for probabilistic networks
PRISM 4.0: Verification of Probabilistic Real-time Systems