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

E. Barboni, J. F. Ladry, D. Navarre, P. Palanque, and M. Winckler, Beyond modelling, Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '10, pp.165-174, 2010.
DOI : 10.1145/1822018.1822043

M. L. Bolton and E. J. Bass, Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.43, issue.6, 2013.
DOI : 10.1109/TSMC.2013.2256129

J. Bowen and V. Stavridou, Safety-critical systems, formal methods and standards, Software Engineering Journal, vol.8, issue.4, pp.189-209, 1993.
DOI : 10.1049/sej.1993.0025

C. Martinie, P. Palanque, M. Ragosta, and E. Barboni, Task-model based assessment of automation levels: Application to space ground segments, 2011 IEEE International Conference on Systems, Man, and Cybernetics, pp.3267-3273, 2011.
DOI : 10.1109/ICSMC.2011.6084173

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.23-33, 2013.
DOI : 10.1145/2501907.2501954

C. Martinie, Model-based training, Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '11, pp.53-62, 2011.
DOI : 10.1145/1996461.1996495

C. Martinie, P. Palanque, and M. Winckler, Structuring and Composition Mechanisms to Address Scalability Issues in Task Models, IFIP TC13 Conference on Human-Computer Interaction, 2011.
DOI : 10.1007/978-3-642-23765-2_40

G. Mori, F. Paternò, and C. Santoro, CTTE: support for developing and analyzing task models for interactive system design, IEEE Transactions on Software Engineering, vol.28, issue.8, pp.797-813, 2002.
DOI : 10.1109/TSE.2002.1027801

D. Navarre, P. Palanque, J. Ladry, E. Barboni, D. Navarre et al., ICOs, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, pp.373-386, 2009.
DOI : 10.1145/1614390.1614393

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

P. Palanque and S. Basnyat, Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours, pp.109-130, 2004.
DOI : 10.1007/1-4020-8153-7_8

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, 2002.
DOI : 10.1006/ijhc.2001.0523

A. Pnueli, Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends, LNCS Reason J, vol.224, pp.510-584, 1986.
DOI : 10.1007/BFb0027047

A. Tankeu-choitat, J. Fabre, P. Palanque, D. Navarre, Y. Deleris et al., Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing, pp.1809-1816, 2011.
DOI : 10.1109/PRDC.2011.28