Performance analysis of probabilistic timed automata using digital clocks (2006)

by M Kwiatkowska, G Norman, D Parker, J Sproston
Venue:Formal Methods in System Design 29, 33–78