@inproceedings{HOW12,
  title = "On the Relationship between Reachability Problems in Timed and Counter Automata",
  author = "Christoph Haase and Jo{\"{e}}l Ouaknine and James Worrell",
  year = "2012",
  booktitle = "Reachability Problems, {RP}",
  pages = "54--65",
  publisher = "Springer",
  series = "Lect. Notes Comp. Sci.",
  volume = "7550",
  doi = "10.1007/978-3-642-33512-9\_6",
}