この資料をSMS送信: On the Relationship between Reachability Problems in Timed and Counter Automata