@TechReport{JKNT09b,
author={M. Jurdzinski and M. Kwiatkowska and G. Norman and A. Trivedi},
title={Concavely-Priced Probabilistic Timed Automata},
institution={Oxford University Computing Laboratory},
year={2009},

type={},
number={RR-09-06},
address={},
month={},
note={},
key={}
}