Approximate Symbolic Model Checking of Continuous-Time Markov Chains
Verifying Continuous Time Markov Chains