1. Alur, R., Dill, D.L.: Theory of Timed Automata. Theoritical Computer Science 126(2), 183–235 (1994)
2. Aeronautical Radio Inc.: ARINC 653. Avionics Application Software Standard Interface (1997)
3. Aeronautical Radio Inc.: ARINC 664. Aircraft Data Network, Part 1: Systems Concepts and Overview (2002)
4. Model-Checking Techniques and Tools;B. Bérard,2001
5. Boyer, M., Doose, D.: Collaboration entre méthode d’ordonnancement et calcul réseau. Presented at the GDR GPL Day (2010)