@InProceedings{HH09,
author={A. Hartmanns and H. Hermanns},
title={A Modest Approach to Checking Probabilistic Timed Automata},
booktitle={Proc. 6th International Conference on Quantitative Evaluation of Systems (QEST'09)},
year={2009},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={To appear},
key={}
}