Model-checking algorithms for continuous-time markov chains. (2003)

by Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
Venue:IEEE Transactions on Software Engineering,