@techreport{RR-09-06,
  title = "CONCAVELY-PRICED PROBABILISTIC TIMED AUTOMATA",
  author = "Marcin Jurdzinski and Marta Z. Kwiatkowska and Gethin Norman and Ashutosh Trivedi",
  year = "2009",
  institution = "OUCL",
  number = "RR-09-06",
  pages = "26",
}