@conference{JKNT09,
  title = "Concavely-Priced Probabilistic Timed Automata",
  author = "M. Jurdzinski, M. Kwiatkowska, G. Norman and A. Trivedi",
  year = "2009",
  editor = "M. Bravetti and G. Zavattaro",
  journal = "Proc. 20th Int. Conf. Concurrency Theory (CONCUR'09)",
}