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