1. Lecture Notes in Computer Science;Y. Abdeddaïm,2001
2. André, É., Chatain, T., Encrenaz, E., Fribourg, L.: An inverse method for parametric timed automata. IJFCS 20(5), 819–836 (2009)
3. Lecture Notes in Computer Science;É. André,2011
4. André, É.: IMITATOR II: A tool for solving the good parameters problem in timed automata. In: INFINITY, pp. 91–99 (2010)
5. André, É.: An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems. Thèse de doctorat, ENS Cachan, France (2010)