@conference{JT08a,
  author = "Marcin Jurdzinski and Ashutosh Trivedi",
  booktitle = "Formal Modelling and Analysis of Timed Systems",
  editor = "Cassez, F. and Jard, C.",
  journal = "FORMATS",
  pages = "48--62",
  publisher = "Springer",
  series = "LNCS",
  title = "Concavely-Priced Timed Automata",
  url = "http://www.springerlink.com/content/r51174337u08gj65/",
  volume = "5215",
  year = "2008",
}