Verifying Continuous Time Markov Chains. - Adnan Aziz; Kumud Sanwal; Vigyan Singhal; Robert K. Brayton (CAV, 1996)

Model-checking continous-time Markov chains. - Adnan Aziz; Kumud Sanwal; Vigyan Singhal; Robert K. Brayton (ACM Trans. Comput. Log., 2000)