@inproceedings{dblp-conf-emsoft-alurt11,
  title = {Relating average and discounted costs for quantitative analysis of timed systems},
  author = {Rajeev Alur and Ashutosh Trivedi},
  year = {2011},
  url = {https://dblp.org/rec/conf/emsoft/AlurT11},
  booktitle = {EMSOFT 2011}
}