A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Trans. on Dependable and Secure Computing, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

E. Barboni, R. Bastide, X. Lacaze, D. Navarre, and P. Palanque, Petri Net Centered versus User Centered Petri Nets Tools. AWPN 2003 -10th Workshop on Algorithms and Tools for Petri Nets, 2003.

M. Beaudouin-lafon, CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets, Proc. of ICATPN'2001: 22nd International Conference on Application and Theory of Petri Nets, pp.71-80, 2001.
DOI : 10.1007/3-540-45740-2_6

S. Card, T. Moran, and A. Newell, The model human processor: An engineering model of human performance, 1986.

A. Dix, Upside down As and algorithms ? computational formalisms and theory HCI Models Theories and Frameworks: Toward a Multidisciplinary Science, pp.381-429, 2003.

R. Fahssi, C. Martinie, and P. Palanque, Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors, Proc. of IFIP TC 13
DOI : 10.1007/978-3-319-22723-8_16

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

C. Fayollas, J. Fabre, P. Palanque, E. Barboni, and D. Navarre, Deleris Y: Interactive cockpits as critical applications: a model-based and a fault-tolerant approach, Int. Journal on Critical Component-Based Software, vol.4, issue.3, pp.202-226, 2013.

C. Fayollas, 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
DOI : 10.1109/PRDC.2014.11

C. Gram and G. Cockton, Design principles for Interactive Software, 1996.
DOI : 10.1007/978-0-387-34912-1

H. Hecht and E. Fiorentino, Reliability assessment of spacecraft electronics, Annual Reliability and Maintainability Symp, pp.341-346, 1987.

E. Hollnagel, The phenotype of erroneous actions Implications for HCI design, Human Computer Interaction and the Complex Systems, 1991.

E. Hollnagel, Cognitive reliability and error analysis method (CREAM), 1998.

C. Martinie, P. Palanque, M. Ragosta, M. Sujan, D. Navarre et al., Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study, SAFECOMP, vol.2013, pp.216-227
DOI : 10.1007/978-3-642-40793-2_20

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

C. Martinie, P. Palanque, R. Fahssi, J. Blanquart, C. Fayollas et al., Task Model-Based Systematic Analysis of Both System Failures and Human Errors, IEEE Transactions on Human-Machine Systems, vol.46, issue.2
DOI : 10.1109/THMS.2014.2365956

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

S. Neema, T. Bapty, S. Shetty, and . Nordstrom, Autonomic fault mitigation in embedded systems, Engineering Applications of Artificial Intelligence, vol.17, issue.7
DOI : 10.1016/S0952-1976(04)00116-2

B. Nicolescu, P. Peronnard, R. Velazco, and Y. Savaria, Efficiency of transient bit-flips detection by software means: a complete study, Proceedings. 16th IEEE Symposium on Computer Arithmetic, pp.377-384
DOI : 10.1109/DFTVS.2003.1250134

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

D. A. Norman, Categorization of action slips., Psychological Review, vol.88, issue.1, 1981.
DOI : 10.1037/0033-295X.88.1.1

G. Papatzanis, P. Curzon, and A. Blandford, Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System. EHCI/DS-VIS, pp.227-242, 2007.

F. Paterno and C. Santoro, Preventing user errors by systematic analysis of deviations from the system task model, International Journal of Human-Computer Studies, vol.56, issue.2, pp.225-245, 2002.
DOI : 10.1006/ijhc.2001.0523

P. Polet, F. Vanderhaegen, and P. Wieringa, Theory of Safety-Related Violations of System Barriers, Cognition, Technology & Work, vol.4, issue.3, pp.171-179, 2002.
DOI : 10.1007/s101110200016

J. Rasmussen, Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models, IEEE transactions: Systems, Man &Cybernetics, 1983.
DOI : 10.1109/TSMC.1983.6313160

J. T. Reason, Generic error modelling system: a cognitive framework for locating common human error forms. New technology and human error, p.86, 1987.

J. Reason, Human Error, 1990.

D. Regis, G. Hubert, F. Bayle, and M. Gatti, IC components reliability concerns for avionics endusers, Digital Avionics Systems Conference IEEE, pp.2-2, 2013.

R. Ruksenas, P. Curzon, A. Blandford, and J. Back, Combining Human Error Verification and Timing Analysis. EHCI/DS-VIS, pp.18-35, 2007.

A. Rizzo, D. Ferrante, and S. Bagnara, Handling human error. Expertise and technology: Cognition & human-computer cooperation, pp.195-212, 1995.

B. Schroeder, E. Pinheiro, and W. Weber, DRAM errors in the wild: a large-scale field study, ACM SIGMETRICS, pp.193-204, 2009.

J. Silva, C. Fayollas, A. Hamon, P. Palanque, C. Martinie et al., Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. International Workshop on Formal Methods for Interactive Systems, 2013.

A. D. Swain and H. Guttman, Handbook of Human Reliability Analysis with Emphasis on Nuclear Power Plant Applications, Final report, NUREG/CR-1278. SAND80-0200. RX, AN. US Nuclear Regulatory Commission, 1983.
DOI : 10.2172/5752058

A. Tankeu-choitat, Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing, pp.164-173
DOI : 10.1109/PRDC.2011.28

J. C. Williams, A data-based method for assessing and reducing human error to improve operational performance, Conference Record for 1988 IEEE Fourth Conference on Human Factors and Power Plants,, pp.436-450, 1988.
DOI : 10.1109/HFPP.1988.27540