, ARINC 661 specification: Cockpit Display System Interfaces To User Systems, Prepared by AIRLINES ELECTRONIC ENGINEERING COMMITTEE, ARINC, 2002.

B. Eric, L. Jean-françois, N. David, P. Philippe, M. Winckler et al., Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models (regular paper), ACM SIGCHI conference Engineering Interactive Computing Systems, pp.143-152, 2010.

B. Eric, C. Stéphane, N. David-&-palanque, and P. , Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC, p.661

, Specification. Proceedings of the 13th conference on Design Specification and Verification of Interactive Systems (DSVIS 2006), pp.25-38, 2006.

R. Bastide and P. Palanque, A Petri-Net Based Environment for the Design of Event-Driven Interfaces, 16th International Conference on Applications and Theory of Petri Nets, ICATPN'95, pp.66-83, 1995.

R. Bastide and P. Palanque, A Visual and Formal Glue Between Application and Interaction, Journal of Visual Language and Computing, vol.10, issue.3, 1999.

R. Bastide, P. Palanque, D. Le, and J. Muñoz, Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems, 5th Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS'98, 1998.

R. Bastide, . Sy, . Ousmane, P. Palanque, and D. Navarre, Formal Specification of CORBA Services: Experience and Lessons Learned, ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'2000), 2000.

R. Faerber, T. Vogl, and D. Hartley, Advanced Graphical User Interface for Next Generation Flight Management Systems, proceedings of HCI Aero, pp.107-112, 2000.

C. ;. Gram and G. Cockton, Design principles for interactive software, 1995.

H. J. Genrich, Predicate/Transitions Nets. High-Levels Petri Nets: Theory and, pp.3-43, 1991.

, International Civil Aviation Organization, ICAO, Guidance Material on CNS/ATM Operations in the Asia/Pacific Region, 1991.

J. Marrenbach and K. Kraiss, Advanced Flight Management System: A New Design and Evaluation Results, proceedings of HCI Aero, pp.101-106, 2000.

D. Navarre, P. Palanque, R. Bastide, and O. Sy, Structuring Interactive Systems Specifications for Executability and Prototypability. 7th Eurographics Workshop on Design, Specification and Verification of Interactive Systems, Lecture Notes in Computer Science, 2000.

D. ;. Navarre, P. &. Palanque, and R. Bastide, Reconciling Safety and Usability Concerns through Formal Specification-based Development Process HCI-Aero'02 MIT, 2002.

N. David, P. Philippe, L. Jean-françois, and B. Eric, ICOs: a Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability. Transactions on Computer-Human Interaction, vol.16, pp.1-56, 2009.

. Omg and . The, Common Object Request Broker: Architecture and Specification, CORBA IIOP 2.2, 1998.

, User Interface Management Systems, Eurographics Seminar, 1983.

O. Sy, . Bastide, . Rémi, P. Palanque, D. Le et al., PetShop: a CASE Tool for the Petri Net Based Specification and Prototyping of CORBA Systems, p.20

, International Conference on Applications and Theory of Petri Nets, ICATPN'99

L. Sherry, P. Polson, M. Feary, and E. Palmer, When Does the MCDU Interface Work Well? Lessons Learned for the Design of New Flightdeck User-Interface, proceedings of HCI Aero, pp.180-186, 2002.

F. Tankeu-choitat-adrienne, P. Jean-charles, N. Philippe, and . David, Deleris Yannick, Fayolas Camille. Self-Checking Components for Dependable Interactive Cockpits using Formal Description Techniques (regular paper). 17th Pacific Rim Dependable Computing Conference, pp.12-15, 2011.