@inproceedings{AT11,
  author = {Alur, Rajeev and Trivedi, Ashutosh},
  title = {Relating average and discounted costs for quantitative analysis of timed systems},
  booktitle = {Proceedings of the ninth ACM international conference on Embedded software},
  series = {EMSOFT '11},
  year = {2011},
  pages = {165--174},
  numpages = {10},
  publisher = {ACM},
  address = {New York, NY, USA},
}