Eric Barboni David Navarre Philippe A. Palanque Sandra Basnyat A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. 250-257 2007 conf/sies/2007 SIES http://dx.doi.org/10.1109/SIES.2007.4297342 db/conf/sies/sies2007.html#BarboniNPB07