@InProceedings{JKNT09,
author={M. Jurdzi{\'n}ski and M. Kwiatkowska and G. Norman and A. Trivedi},
title={Concavely-Priced Probabilistic Timed Automata},
booktitle={Proc. 20th Int. Conf. Concurrency Theory (CONCUR'09)},
year={2009},

editor={M. Bravetti and G. Zavattaro},
pages={415–-430},
organization={},
publisher={Springer},
series={LNCS},
volume={5710},
address={},
month={},
note={},
key={}
}