Model-checking algorithms for continuous-time Markov chains (2003)

by C Baier, B Haverkort, H Hermann, J P Katoen
Venue:IEEE Trans. on Software Eng