1. Airlines Electronic Engineering Committee (1997) ARINC specification 653: Avionics application software standard interface. Aeronautical radio, Inc, Annapolis, Maryland
2. Gamatié A, Gautier T (2002) Synchronous modeling of modular avionics architectures using the Signal language. Research Report 4678, INRIA Available at: http://www.inria.fr/rrrt/ rr-4678.html
3. Lopez N, Simonot M, Donzeau-Gouge V (2002) A methodological process for the design of a large system: two industrial case-studies. 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems (FMICS’02), University of Malaga, Spain, LNCS 66(2)