@proceedings{AverageReward,
  author    = {Bo Adler and
               Luca de Alfaro and
               Marco Faella},
  title     = {Average Reward Timed Games},
  booktitle = {Proc. of FORMATS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3829},
  pages     = {65-80},
  year      = {2005}
}