Emmanuel Beffara Olivier Bournez Hassen Kacem Claude Kirchner Verification of Timed Automata Using Rewrite Rules and Strategies http://arxiv.org/abs/0907.3123 2009 CoRR abs/0907.3123 db/journals/corr/corr0907.html#abs-0907-3123 informal publication