Beyond memoryless distributions: Model checking semi-Markov chains (2001)

by G G Infante-Lopez, H Hermanns, J-P Katoen
Venue:In Process Algebra and Probabilistic Methods, LNCS 2165: 57–70