Constructive model-based analysis for safety assessment
PRISM 4.0: Verification of Probabilistic Real-time Systems