Enviar aquest missatge de text: On the Relationship between Reachability Problems in Timed and Counter Automata