D. , Software Considerations in Airborne Systems and Equipment Certification, 2012.

R. Fahssi, C. Martinie, and P. Palanque, Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors, IFIP TC 13 INTERACT (4) 2015, pp.192-212
DOI : 10.1007/978-3-319-22723-8_16
URL : https://hal.archives-ouvertes.fr/hal-01387758

C. Fayollas, C. Martinie, P. Palanque, Y. Deleris, J. Fabre et al., An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits, 2014 Tenth European Dependable Computing Conference, pp.198-209, 2014.
DOI : 10.1109/EDCC.2014.17

C. Fayollas, J. Fabre, P. Palanque, M. Cronel, D. Navarre et al., A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics, 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing, pp.21-30, 2014.
DOI : 10.1109/PRDC.2014.11

C. Fayollas, C. Martinie, D. Navarre, P. Palanque, and R. Fahssi, Fault-Tolerant User Interfaces for Critical Systems, Proceedings of the 2014 Workshop on Distributed User Interfaces and Multimodal Interaction, DUI '14, pp.27-30
DOI : 10.1145/1614390.1614393

P. Gerber, M. Volkamer, and R. K. , Usability versus privacy instead of usable privacy, ACM SIGCAS Computers and Society, vol.45, issue.1, pp.16-21, 2015.
DOI : 10.1145/2335356.2335360

M. Hassenzahl, A. Platz, M. Burmester, and K. Lehner, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '00, pp.201-208, 2000.
DOI : 10.1145/332040.332432

S. Heil, M. Bakaev, and M. Gaedke, Measuring and Ensuring Similarity of User Interfaces: The Impact of Web Layout, Web Information Systems Engineering -WISE 2016 -17th International Conference, pp.252-260
DOI : 10.1109/ICSM.2007.4362649

S. International and . Organization, ISO 9241-11 Ergonomic requirements for office work with visual display terminals (VDT) ?, 1996.

J. Laprie and B. Randell, Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Trans. Dependable Secur. Comput, vol.1, issue.1, pp.11-33, 2004.

. Lufthansa, Cross Crew Qualification courses, internet https://www.lufthansa-flight-training.com/docu- ments, 2017.

C. Martinie, D. Navarre, and P. Palanque, A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems, International Journal of Human-Computer Studies, vol.72, issue.1, pp.77-99, 2014.
DOI : 10.1016/j.ijhcs.2013.08.013
URL : https://hal.archives-ouvertes.fr/hal-01130579

C. Martinie, P. Palanque, D. Navarre, M. Winckler, and E. Poupart, Model-based training an approach supporting operability of critical interactive systems, EICS ACM DL, pp.53-62, 2011.

C. Martinie, P. Palanque, M. Ragosta, and R. Fahssi, Extending procedural task models by systematic explicit integration of objects, knowledge and information, Proceedings of the 31st European Conference on Cognitive Ergonomics, ECCE '13, pp.1-2310
DOI : 10.1145/2501907.2501954

D. Navarre, P. Palanque, and S. Basnyat, A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems, pp.373-386, 2008.
DOI : 10.1007/978-3-540-87698-4_31

H. Petrie and O. Kheir, The relationship between accessibility and usability of websites, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '07, pp.397-406, 2007.
DOI : 10.1145/1240624.1240688

J. Reason, Human Error, 1990.

M. A. Sasse, C. Karat, and R. Maxion, Designing and evaluating usable security and privacy technology, Proceedings of the 5th Symposium on Usable Privacy and Security, SOUPS '09, 2009.
DOI : 10.1145/1572532.1572554

, Section 508: The Road to Accessibility Available at: http://www.section508

P. G. Villanueva, R. Tesoriero, and J. A. Gallud, Distributing web components in a display ecosystem using Proxywork, 27th BCS HCI Conference (BCS-HCI '13), 2013.

B. Weyers, J. Bowen, A. Dix, and P. Palanque, The Handbook of Formal Methods in Human-Computer Interaction