@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={}
}