, ARINC 661 specification: Cockpit Display System Interfaces To User Systems, Prepared by AIRLINES ELECTRONIC ENGINEERING COMMITTEE, ARINC, 2002.
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. ,
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.
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. ,
A Visual and Formal Glue Between Application and Interaction, Journal of Visual Language and Computing, vol.10, issue.3, 1999. ,
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. ,
Formal Specification of CORBA Services: Experience and Lessons Learned, ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'2000), 2000. ,
Advanced Graphical User Interface for Next Generation Flight Management Systems, proceedings of HCI Aero, pp.107-112, 2000. ,
Design principles for interactive software, 1995. ,
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.
Advanced Flight Management System: A New Design and Evaluation Results, proceedings of HCI Aero, pp.101-106, 2000. ,
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. ,
Reconciling Safety and Usability Concerns through Formal Specification-based Development Process HCI-Aero'02 MIT, 2002. ,
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. ,
Common Object Request Broker: Architecture and Specification, CORBA IIOP 2.2, 1998. ,
, User Interface Management Systems, Eurographics Seminar, 1983.
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
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. ,
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. ,