@inproceedings{dblp-conf-icalp-jurdzinskit07,
  title = {Reachability-Time Games on Timed Automata},
  author = {Marcin Jurdzinski and Ashutosh Trivedi},
  year = {2007},
  url = {https://dblp.org/rec/conf/icalp/JurdzinskiT07},
  booktitle = {ICALP 2007}
}