1. On decision problems for timed automata;Finkel;Bulletin of the European Association for Theoretical Computer Science,2005
2. Folk theorems on the determinization and minimization of timed automata;Tripakis,2004
3. A theory of timed automata;Alur;Theoretical Computer Science,1994
4. Minimization of timed transition systems;Alur,1992
5. An efficient algorithm for minimizing real-time transition systems;Yannakakis;Formal Methods in System Design,1997