J. Accot, S. B. Zhai, and . Fitts, Law: Models for Trajectory- Based HCI Tasks, Proceedings of CHI '97

J. Anderson, M. Matessa, and S. Douglass, The ACT-R theory and visual attention, Seventeenth Annual Conference of the Cognitive Science Society, pp.61-65

E. Barboni, J. 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.143-152
DOI : 10.1145/1822018.1822043

S. Basnyat, P. Palanque, B. Schupp, and P. Wright, Formal socio-technical barrier modelling for safety-critical interactive systems design, Safety Science, vol.45, issue.5, pp.545-565, 2007.
DOI : 10.1016/j.ssci.2007.01.001

H. David, Measures of Stress/Strain on Air Traffic Controllers in Simulated Air Traffic Control, Proc. of 14th Triennial Congress of Int. Ergonomics Assoc. and 44th Annual Meeting of Human Factors and Ergonomics Society, pp.6-680, 2000.
DOI : 10.1177/154193120004403737

F. Emery, Characteristics of Socio-Technical Systems
DOI : 10.9783/9781512819052-009

J. M. Epstein, Why Model, Journal of Artificial Societies and Social Simulation, vol.11, issue.4, 2008.

E. and A. Manager, Implementation GUIDELINES and Lessons Learned, 2010.

W. M. Fox, Sociotechnical System Principles and Guidelines: Past and Present, The Journal of Applied Behavioral Science, vol.47, issue.1, pp.91-105, 1995.
DOI : 10.1177/0021886395311009

S. G. Hart, NASA-Task Load Index (NASA-TLX); 20 Years Later, Proc. of the Human Factors and Ergonomics Society, pp.904-908, 2006.
DOI : 10.1177/154193120605000909

E. Hollnagel, Barriers and accident prevention, 2004.

E. Hollnagel, C. Martinie, P. Palanque, A. Pasquini, M. Ragosta et al., The First SESAR Innovation Days, ) System Performances under Automation Degradation (SPAD), 2011.

X. Lacaze, P. Palanque, D. Navarre, and R. Bastide, Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems, 9th workshop on Design, Specif. and Verif. of Interactive SystemsDSV-IS'02) LNCS
DOI : 10.1007/3-540-36235-5_16

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, 2011.
DOI : 10.1109/ICSMC.2011.6084173

C. Martinie, P. Palanque, E. Barboni, M. Winckler, M. Ragosta et al., Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs

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

U. Metzger and R. Parasuraman, Conflict detection aids for air traffic controllers in free flight: Effects of reliable and failure modes on performance and eye movements, Proc. of the 11th Int. Symposium on Aviation Psychology, 2001.

R. Mollard, P. Cabon, S. Bourgeois-bougrine, and H. David, Measurement of Fatigue and Sleepiness in ATC Simulation, Proc. of the 14th Triennial Congress of Int. Ergonomics Assoc. and 44th Ann, pp.208-211, 2000.
DOI : 10.1177/154193120004401906

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

P. Palanque, E. Barboni, C. Martinie, D. Navarre, M. Winckler et al., A model-based approach for supporting engineering usability evaluation of interaction techniques, Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '11, pp.21-30, 2011.
DOI : 10.1145/1996461.1996490

P. Palanque and S. Basnyat, Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours, 6th Int. Working Conf. on Human Error, Safety and System Development, 2004.
DOI : 10.1007/1-4020-8153-7_8

R. Parasuraman and C. D. Wickens, Humans: Still Vital After All These Years of Automation, Human Factors, vol.41, issue.4, pp.511-520, 2008.
DOI : 10.1518/001872008X312198

F. Paterno, C. Mancini, and S. Meniconi, ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models, Proc. -369
DOI : 10.1007/978-0-387-35175-9_58

J. I. Westbrook, Multimethod Evaluation of Information and Communication Technologies in Health in the Context of Wicked Problems and Sociotechnical Theory, Journal of the American Medical Informatics Association, vol.14, issue.6, pp.746-755, 2007.
DOI : 10.1197/jamia.M2462

A. Zeichick, UML adoption making strong progress, Software Development Times, 2004.