Verifying Continuous Time Markov Chains
Model-checking for real-time systems