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

E. Barboni, P. Lanzi, C. Martinie, P. Palanque, A. Pasquini et al., Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs, ATACCS ACM DL, pp.46-50, 2011.

F. Emery and E. Trist, Management Science Models and Techniques Verhulst, Socio-technical systems, pp.83-97, 1960.

C. Finkelstein, An Introduction to Information Engineering: From Strategic Planning to Information Systems, 1990.

H. Sesar and R. Network, E-01-02: Position Paper, 2014.

E. Hollnagel, FRAM: The functional resonance analysis method for modelling complex socio-technical systems, 2012.

E. Hollnagel, Cognitive Reliability and Error Analysis Method, 1998.

E. Hollnagel, Resilience -the Challenge of the Unstable Resilience Engineering: Concepts and Precepts, 2006.

A. Isaac, S. Shorrock, and B. Kirwan, Human error in European air traffic management: the HERA project, Reliability Engineering & System Safety, vol.75, issue.2, pp.257-272, 2002.
DOI : 10.1016/S0951-8320(01)00099-0

R. Jacob, A software model and specification language for non-WIMP user interfaces, ACM Transactions on Computer-Human Interaction, vol.6, issue.1, pp.1-46, 1999.
DOI : 10.1145/310641.310642
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.8771

D. B. Leake, A. Maguitman, and T. Reichherzer, Understanding knowledge models: Modeling assessment of concept importance in concept maps, Proc. of the 26th annual conference of the cognitive science society, pp.795-800, 2004.

N. G. Leveson, A new accident model for engineering safer systems, Safety Science, vol.42, issue.4, pp.237-270, 2004.
DOI : 10.1016/S0925-7535(03)00047-X
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.697

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

C. Martinie, P. Palanque, and M. Winckler, Structuring and Composition Mechanisms to Address Scalability Issues in Task Models, INTERACT 2011, pp.589-609, 2011.
DOI : 10.1007/978-3-642-23765-2_40

C. Martinie, P. Palanque, A. Pasquini, M. Ragosta, E. Rigaud et al., Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems' Variability, ATACCS 2012, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00776429

C. Martinie, P. Palanque, and M. Ragosta, 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.26-28, 2013.
DOI : 10.1145/2501907.2501954

C. Martinie, P. Palanque, M. Ragosta, M. A. Sujan, and D. Navarre, Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study, SafeComp 2013, 2013.
DOI : 10.1007/978-3-642-40793-2_20
URL : https://hal.archives-ouvertes.fr/hal-01223183

N. Meshkati, Technology transfer to developing countries: A tripartite micro- and macroergonomic analysis of human-organization-technology interfaces, International Journal of Industrial Ergonomics, vol.4, issue.2, pp.101-115, 1989.
DOI : 10.1016/0169-8141(89)90038-3

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.5986

D. Navarre, P. Palanque, and R. Bastide, A formal description technique for the behavioral description of interactive applications compliant with ARINC 661 specifications. HCI-Aero'04, 2004.

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

D. L. Parnas, On the use of transition diagrams in the design of a user interface for an interactive computer system, Proceedings of the 1969 24th national conference on -, pp.379-385, 1969.
DOI : 10.1145/800195.805945

F. Paternò 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

M. Ragosta, A multi-modelS based approach for the modelling and the analysis of usable and resilient partly autonomous interactive systems, 2015.

J. Reason, Managing the Risks of Organizational Accidents, 1997.

W. Van-der-aalst and A. Ter-hofstede, YAWL: yet another workflow language, Information Systems, v.30 n, pp.245-275, 2005.

P. Wohed, W. Van-der-aalst, M. Dumas, A. Ter-hofstede, and R. N. , On the Suitability of BPMN for Business Process Modelling, Proceedings of the 4th international conference on Business Process Management (BPM'06), pp.161-176, 2006.
DOI : 10.1007/11841760_12

W. Wood, Transition network grammars for natural language analysis, Communications of the ACM, vol.13, issue.10, 1970.
DOI : 10.1145/355598.362773