Model checking continuous-time markov chains by transient analyisis (2000)

by C Baier, B Havekort, H Hermanns, J-P Katoen
Venue:In Computer Aided Verification, volume 1855 of LNCS