इसका टेक्स्ट मैसेज भेजे: On the relationship between reachability problems in timed and counter automata