Automated Functional Safety Analysis of Automated Driving Systems
PRISM 4.0: Verification of Probabilistic Real-time Systems