1. R. Alur, D. Dill, Automata for modeling real-time systems, 17éme ICALP, Lecture Notes in Computer Science, vol. 443, Springer, Berlin, 1990.
2. UPPAAL implementation secrets;Behrmann,2002
3. La méthode des classes d’états pour l’analyse des réseaux temporels—mise en oeuvre, extension à la multi-sensibilisation;Berthomieu,2001
4. B. Berthomieu, M. Menasche, An enumerative approach for analyzing time Petri nets, in: IFIP Congress, September 1983.
5. B. Berthomieu, F. Vernadat, State class constructions for branching analysis of time Petri nets, Lecture Notes in Computer Science, vol. 2619, 2003.