Performance Analysis of Probabilistic Timed Automata Using (2006)

by M Z Kwiatkowska, G Norman, D Parker, J Sproston
Venue:Digital Clocks,” Formal Methods in System Design