Verification of Timed Automata Using Rewrite Rules and Strategies - Emmanuel Beffara; Olivier Bournez; Hassen Kacem; Claude Kirchner (CoRR, 2001)