@article{how12,
  title = "On the Relationship between Reachability Problems in Timed and Counter Automata",
  author = "Christoph Haase and Joel Ouaknine and James Worrell",
  year = "2012",
  booktitle = "Proceedings of the 6th International Workshop on Reachability Problems (RP'12)",
  location = "Bordeaux, France",
  month = "September",
  note = "To appear.",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "xxxx",
}