R. Bastide, D. Navarre, P. Palanque, A. Schyn, and P. Dragicevic, A model-based approach for real-time embedded multimodal systems in military aircrafts, Proceedings of the 6th international conference on Multimodal interfaces , ICMI '04, 2004.
DOI : 10.1145/1027933.1027974

R. Bastide, D. Navarre, and P. Palanque, Tool Support for Interactive Prototyping of Safety Critical Interactive Applications ISBN: 1-59140-562-9. Hard Cover. Publisher: Idea Group Reference Pub Date, p.650, 2005.

R. Bastide and . Ph, Palanque A Petri Net Based Environment for the Design of Event-Driven Interfaces, 16th International Conference on Application and theory of Petri Nets (ATPN'95), pp.20-22

O. Beaudoux, XML active transformation (eXAcT), Proceedings of the 2005 ACM symposium on Document engineering , DocEng '05, pp.146-148, 2005.
DOI : 10.1145/1096601.1096640

R. Blanch, S. Michel-beaudouin-lafon, Y. Conversy, T. Jestin, Y. Baudel et al., INDIGO, Proceedings of the 17th conference on 17??me Conf??rence Francophone sur l'Interaction Homme-Machine , IHM 2005, pp.139-146, 2005.
DOI : 10.1145/1148550.1148568

URL : https://hal.archives-ouvertes.fr/hal-01285967

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.

H. J. Genrich, Predicate/Transition Nets High-Level Petri Nets: Theory and Application, pp.3-43, 1991.

C. Gram and G. Cockton, Design principles for interactive software, 1995.
DOI : 10.1007/978-0-387-34912-1

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, . Palanque, . Philippe, and R. Bastide, A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, pp.309-328, 2003.

D. Navarre, P. Palanque, and &. Bastide, A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. HCI-Aero, 2004.

P. Palanque and R. Bastide, Petri nets with objects for specification, design and validation of user-driven interfaces, proceedings of the third IFIP TC 13 conference on Human-Computer Interaction, Interact'90, 1990.

G. E. Pfaff, Hrsg.): User Interface Management Systems, Proceedings, Workshop on User Interface Management Systems, p.11, 1983.

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.

N. Souchon and J. Vanderdonckt, A Review of XML-compliant User Interface Description Languages, Proc. of 10th Int. Conf. on Design, pp.377-391, 2003.
DOI : 10.1007/978-3-540-39929-2_26

L. Villard and N. Layaïda, An incremental XSLT transformation processor for XML document manipulation WWW '02, Proceedings of the 11th international Conference on World Wide Web, pp.474-485, 2002.