On the Relationship between Reachability Problems in Timed and Counter Automata - Haase, C; Ouaknine, J; Worrell, J (2012)