1. Abdeddaïm Y. , Asarin E. , Gallien M. , Ingrand F. , Lesire C. and Sighireanu M. , Planning robust temporal plans: A comparison between CBTP and TGA approaches. In Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007, pp. 2–9.
2. A theory of timed automata;Alur;Theoretical Computer Science,1994
3. SAT-based procedures for temporal reasoning;Armando;ECP,1999
4. Uppaal-Tiga: Time for playing games!;Behrmann;CAV,2007