Model-checking continuous-time Markov chains
Approximate Symbolic Model Checking of Continuous-Time Markov Chains