@inproceedings{dblp-conf-concur-jurdzinskiknt09,
  title = {Concavely-Priced Probabilistic Timed Automata},
  author = {Marcin Jurdzinski and Marta Z. Kwiatkowska and Gethin Norman and Ashutosh Trivedi},
  year = {2009},
  url = {https://dblp.org/rec/conf/concur/JurdzinskiKNT09},
  booktitle = {CONCUR 2009}
}