@InProceedings{KNP09c, author={M. Kwiatkowska and G. Norman and D. Parker}, title={Stochastic Games for Verification of Probabilistic Timed Automata}, booktitle={Proc. 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09)}, year={2009}, editor={J. Ouaknine and F. Vaandrager}, pages={212--227}, organization={}, publisher={Springer}, series={LNCS}, volume={5813}, address={}, month={}, note={}, key={} }