Model-checking algorithms for continuous-time Markov chains
Model-checking continuous-time Markov chains