Model checking continuous-time Markov chains by transient analysis (2000)

by Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen