1. A theory of timed automata;Alur;Theoretical Computer Science B,1994
2. Parametric real-time reasoning;Alur;ACM Symposium on Theory of Computing,1993
3. Controller synthesis for timed automata;Asarin,1998
4. Bozzelli, L., Pinchinat, S., and Legay, A. (2009). On timed alternating simulation for concurrent timed games. In FSTTCS 2009, Leibniz Int. Proceedings in Informatics.
5. Efficient on-the-fly algorithm for checking alternating timed simulation;Bulychev;FORMATS ‘09,2009