Constructive model-based analysis for safety assessment
Verifying Continuous Time Markov Chains