@conference{JT07,
  title = "Reachability-Time Games on Timed Automata",
  author = "Marcin Jurdzinski and Ashutosh Trivedi",
  year = "2007",
  booktitle = "Automata, Languages and Programming",
  journal = "ICALP",
  pages = "838--849",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.springerlink.com/content/b17738g23844w336/",
  volume = "4596",
}