D.: Stochastic games for verification of probabilistic timed automata (2009)

by M Kwiatkowska, G Norman, Parker
Venue:Proc. 7th Int. Conf. Formal Modelling and Analysis of Timed Systems (FORMATS’09). LNCS