C. Abras, D. Maloney-krichmar, and J. Preece, User-Centered Design, W. Bainbridge, Encyclopedia of Human-Computer Interaction, 2004.

H. Aguinis and K. Kraiger, Benefits of Training and Development for Individuals and Teams, Organizations, and Society, vol.60, pp.451-475, 2009.

J. Anderson, How can the human mind occur in the physical universe, 2007.

C. Appert, O. Chapuis, and E. Pietriga, Dwell-and-Spring: Undo for Direct Manipulation, ACM SIGCHI Conference on Computer Human Interaction, pp.1957-1966, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00663638

S. Aromaa, N. Frangakis, D. Tedone, J. Viitaniemi, and I. Aaltonen, Digital Human Models in Human Factors and Ergonomics Evaluation of Gesture Interfaces, Proc. ACM Hum.-Comput. Interact, vol.2, 2018.

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.

L. Bainbridge, Ironies of Automation, Automatica, vol.19, issue.6, p.779, 1983.

E. Barboni, A. Hamon, C. Martinie, and P. Palanque, A User-Centered View on Formal Methods: Interactive Support for Validation and Verification (regular paper), Workshop on Formal Methods in Human Computer Interaction, pp.24-29, 2015.

E. Barboni, J. Ladry, D. Navarre, P. Palanque, and M. Winckler, Beyond modeling: an integrated environment supporting co-execution of tasks and systems models, ACM SIGCHI Conference on Engineering Computing Interactive Systems, pp.165-174, 2010.

E. Barboni, C. Martinie, D. Navarre, P. Palanque, and M. A. Winckler, UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems (regular paper), 2011.

D. Coyette, J. Faure, &. J. Gonzalez, and . Vanderdonckt, IFIP WG 2.7/13.4 Workshop on User Interface Description Languages, 2011.

E. Barboni, C. Martinie, D. Navarre, P. Palanque, and M. A. Winckler, Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language, Science of Computer Programming, vol.86, pp.3-29, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01119843

G. Baxter and I. Sommerville, Socio-technical systems: From design methods to systems engineering, Interacting with Computers, vol.23, pp.4-17, 2011.

G. Baxter, J. Rooksby, Y. Wang, and A. Khajeh-hosseini, The ironies of automation ? still going strong at 30?, European Conference on Cognitive Ergonimics, pp.65-71, 2012.

J. Bell and J. Holyroyd, Review of human reliability assessment methods, RR679, 2009.

D. Benyon, The role of task analysis in systems design, Interacting with Computers, vol.4, issue.1, pp.102-123, 1992.

R. Bernhaupt, M. Cronel, F. Manciet, C. Martinie, and P. Palanque, Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems, International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), 2015.

R. Bernhaupt, P. Palanque, D. Drouet, and C. Martinie, Enriching Task Models with Usability and User Experience Evaluation Data (regular paper), Human-Centered Software Engineering (HCSE 2018), pp.146-163, 2018.

R. Bernhaupt, P. Palanque, F. Manciet, and C. Martinie, User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience (regular paper), International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development (HCSE+HESSD 2016), pp.56-72, 2016.

R. Bias and D. Mayhew, Cost-Justifying Usability, Second Edition: An Update for the Internet Age (Interactive Technologies), 2005.

D. Billman, C. Fayollas, M. Feary, C. Martinie, and P. Palanque, Complementary Tools and Techniques for Supporting Fitness_for_Purpose of Interactive Critical Systems (regular paper), International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development (HCSE+HESSD 2016), 2016.

A. Bisantz, E. Roth, B. Brickman, L. Gosbee, L. Hettinger et al., Integrating cognitive analyses in a large-scale system design process, International Journal on Human-Computer Studies, pp.177-206, 2002.

B. Boehm, A spiral model of software development and enhancement, ACM SIGSOFT Software Engineering Notes, vol.11, issue.4, pp.14-24, 1986.

M. Bolton, E. J. Bass, and R. I. Siminiceanu, Using formal verification to evaluate humanautomation interaction in safety critical systems, a review, IEEE Transactions on Systems, Man and Cybernetics: Systems, vol.43, issue.3, pp.488-503, 2013.

E. Bouzekri, A. Canny, C. Fayollas, C. Martinie, P. Palanque et al.,

C. Gris, A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context (regular paper), ACM SIGCHI conference Engineering Interactive Computing Systems, pp.42-55, 2017.

E. Bouzekri, A. Canny, C. Fayollas, C. Martinie, P. Palanque et al.,

C. Gris, Engineering Issues Related to the Development of a Recommender System in a Critical Context: Application to Interactive Cockpits, International Journal of Human-Computer Studies, vol.121, pp.122-141, 2001.

E. Bouzekri, A. Canny, C. Martinie, and P. Palanque, A Generic Software and Hardware Architecture for Hybrid Interactive Systems, EICS 2018 -Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems, 2018.

E. Bouzekri, A. Canny, C. Martinie, and P. Palanque, Specific Task Modeling for Cyber Physical Systems, EICS 2018 -Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems, 2018.

E. Bouzekri, A. Canny, C. Martinie, P. Palanque, and C. Gris, Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation (education paper), IFIP WG 13.6 Working Conference Human Work Interaction Design (HWID 2018), pp.36-56, 2018.

E. Bouzekri, A. Canny, C. Martinie, P. Palanque, and C. Gris, Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems, IFIP TC 13 International Conference on Human Computer Interaction, pp.699-720, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02435352

E. Bouzekri, A. Canny, C. Martinie, P. Palanque, and C. Gris, Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems (regular paper), IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT), vol.9, 2019.

E. Bouzekri, A. Canny, C. Martinie, P. Palanque, E. Barboni et al.,

Y. Deleris, Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description, INCOSE International Conference on Human System Integration (INCOSE HSI 2019), 2019.

E. Bouzekri, C. Martinie, G. Wallner, P. Palanque, and R. Bernhaupt, Investigating the effect of automation on user experience: enriching a task-modeling notation, 2019.

D. Bowen, Exploratory Research in ATM, 2015.

G. Boy, Orchestrating Human-Centered Design, 2013.

R. Branson, G. Rayner, J. Cox, and J. Furman, Interservice procedures, 1975.

G. Brat, C. Martinie, and P. Palanque, V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog, International Conference on Human-Computer Interaction, pp.290-299, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01166951

J. Brooke, SUS: a "quick and dirty" usability scale, Usability Evaluation in Industry, 1996.

S. Caffiau, D. Scapin, P. Girard, M. Baron, and F. Jambon, Increasing the expressive power of task analysis: Systematic comparison and empirical assessment of tool-supported task models, Interacting with Computers, vol.22, pp.569-593, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00950015

G. Calvary, J. Coutaz, D. Thevenin, Q. Limbourg, L. Bouillon et al., A Unifying Reference Framework for multi-target user interfaces, Interacting with Computers, vol.15, issue.3, pp.289-308, 2003.

J. C. Campos, C. Fayollas, C. Martinie, D. Navarre, P. Palanque et al., Systematic automation of scenario-based testing of user interfaces (regular paper), ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), pp.138-148, 2016.

J. C. Campos, N. Nuno, P. Campos, G. Calvary, J. Nichols et al., Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, vol.26, 2017.

J. Campos, C. Fayollas, M. Gonçalves, C. Martinie, D. Navarre et al., A More Intelligent Test Case Generation Approach through Task Models Manipulation, Proceedings of the ACM on Human-Computer Interaction, vol.1, issue.9, p.20, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02879017

A. Canny, E. Bouzekri, C. Martinie, and P. Palanque, Rationalizing the Need of Architecture-Driven Testing of Interactive Systems, International Conference on Human-Centered Software Engineering, pp.164-186, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02089262

A. Canny, E. Bouzekri, C. Martinie, and P. Palanque, Rationalizing the Need of Architecture-Driven Testing of Interactive Systems (regular paper), Human-Centered Software Engineering (HCSE 2018), pp.164-186, 2018.

A. Canny, E. Bouzekri, C. Martinie, and P. Palanque, On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems, Workshop on Research and Practice Challenges for Engineering Interactive Systems while Integrating Multiple Stakeholders Viewpoints, 2019.

A. Canny, C. Fayollas, C. Martinie, D. Navarre, P. Palanque et al., Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems, IEEE International Conference on Cyber Physical and Social Computing 2019 (CPSCom), pp.694-701, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02881970

A. Canny, C. Fayollas, C. Martinie, D. Navarre, P. Palanque et al., Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems (regular paper, IEEE International Conference on Cyber Physical and Social Computing, 2019.

S. M. Card and A. Newell, The Psychology of Human-Computer Interaction, 1983.

S. Card, T. Moran, and A. Newell, The Psychology of Human-Computer Interaction, 1983.

T. Caudell, &. D. , and M. , Augmented reality: an application of heads-up display technology to manual manufacturing processes, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences, pp.659-669, 1992.

T. Caudell and D. Mizell, Augmented reality: an application of heads-up display technology to manual manufacturing processes, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences, pp.659-669, 1992.

M. Cortes-cornax, D. Dupuy-chessa, and D. Rieu, Evaluating the Appropriateness of the BPMN 2.0 Standard for Modeling Service Choreographies -Using an Extended Quality Framework. Software and System Modeling, pp.219-255, 2017.
URL : https://hal.archives-ouvertes.fr/hal-00953411

, Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes, CS 25 EASA, 2017.

P. Desmet, P. Hekkert, and J. Jacobs, When a car makes you smile: Development and application of an instrument to measure product emotions, Funology Human-Computer Interaction Series, vol.3, 2000.

Z. Diskin, Y. Xiong, and K. Czarnecki, Specifying Overlaps of Heterogeneous Models for Global Consistency Checking, International Conference on Model Driven Engineering Languages and Systems, pp.165-179, 2010.

A. Dix, Formal methods: an introduction to and overview of the use of formal methods within HCI, Perspectives on HCI, pp.9-43, 1995.

F. Drogoul and P. Palanque, Design and Assessment of Systems Using Human Centered Approaches, 2018.

F. Drogoul and P. Palanque, Design and Assessment of Systems Using Human Centered Approaches, 2018.

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

, REGULATIONS. COMMISSION REGULATION, 2015.

. Eurocae, ED-12C -Software considerations in airborne systems and equipment certification, 2012.

. Eurocontrol, ESARR 6. Safety Regulatory Requirement. Software in ATM Systems. Bruxelles: Eurocontrol, 2010.

R. Fahssi, Systematic identification and representation of human errors in task models, 2018.
URL : https://hal.archives-ouvertes.fr/tel-02400608

R. M. Fahssi, Identification systématique et représentation des erreurs humaines dans les modèles de tâches, 2018.

R. M. Fahssi, C. Martinie, and P. Palanque, HAMSTERS : un environnement d__dition et de simulation de mod_les de t_ches (D_mo) (poster), ACM Digital Library, vol.10, 2014.

R. M. Fahssi, C. Martinie, and P. Palanque, Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors, IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015), vol.9, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01387758

R. Fahssi, C. Martinie, and P. Palanque, Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors, IFIP TC13 Conference on Human Computer Interaction INTERACT, pp.192-212, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01387758

C. Fayollas, Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques, 2015.

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, IEEE 20th Pacific Rim International Symposium on Dependable Computing, pp.21-30, 2014.

C. Fayollas, C. Martinie, D. Navarre, and P. Palanque, A Generic Approach for Assessing Compatibility between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com, Model-Based Interface Engineering, vol.14, pp.170-191, 2015.

C. Fayollas, C. Martinie, D. Navarre, and P. Palanque, Engineering mixed-criticality interactive applications (regular paper), ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), pp.108-119, 2016.

, ACM Digital Library

C. Fayollas, C. Martinie, D. Navarre, P. Palanque, and R. M. Fahssi, Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces (regular paper), Workshop on Distributed User Interfaces (DUI 2014), 2014.

C. Fayollas, C. Martinie, P. Palanque, and Y. Ameur, QBP Notation for Explicit Representation of Properties, their Refinement and their Potential Conflicts: Application to Interactive Systems (regular paper), Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes at INTERACT 2017, vol.9, pp.91-105, 2017.

C. Fayollas, C. Martinie, P. Palanque, and Y. Deleris, Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime (regular paper), Workshop on Formal Methods in Human Computer Interaction, pp.19-23, 2015.

C. Fayollas, C. Martinie, P. Palanque, and R. M. Fahssi, Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors, 2015.

, IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development, pp.101-116

C. Fayollas, C. Martinie, P. Palanque, and R. M. Fahssi, Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft (regular paper, AAAI 2015 Spring Symposium on Intelligent systems for supporting distributed human teamwork, 2016.

C. Fayollas, C. Martinie, P. Palanque, E. Barboni, and Y. Deleris, What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems (regular paper), EncWorkshop on Engineering Computer-Human Interaction in Recommender Systems, 2016.

. /ceur-ws and . Org, CEUR-WS : Workshop proceedings

C. Fayollas, C. Martinie, P. Palanque, E. Barboni, R. M. Fahssi et al., Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment, Handbook of Formal Methods in Human-Computer Interaction, vol.9, pp.465-504, 2017.

C. Fayollas, C. Martinie, P. Palanque, E. Barboni, R. Fahssi et al., Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment, The Handbook of Formal Methods in Human-Computer Interaction, pp.465-504, 2017.

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, European Dependable Computing Conference (EDCC 2014), vol.5, pp.198-209, 2014.

C. Fayollas, C. Martinie, P. Palanque, P. Masci, M. Harrison et al., Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web (regular paper), Workshop on Formal Integrated Development Environment, 2016.

C. Fayollas, P. Palanque, J. Fabre, C. Martinie, and Y. Deleris, Dealing with Faults During Operations: Beyond Classical Use of Formal Methods, Handbook of Formal Methods in Human-Computer Interaction, vol.9, pp.549-575, 2017.

M. Feary, T. Feuerle, C. Gonzalez-rechea, F. Saez, C. Johnson et al.,

, 5th International Conference on Application and Theory of Automation in Command and Control Systems, vol.10, 2015.

M. Feary, C. Martinie, P. Palanque, and M. Tscheligi, Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives, ACM SIGCHI Conference on Human Factors in Computing Systems, vol.5, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01493791

P. M. Fitts, Human Engineering for an Effective Air Navigation and Traffic Control System, 1951.

P. Forbrig, C. Martinie, P. Palanque, M. A. Winckler, and R. M. Fahssi, Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components, vol.9, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01141437

V. Frard, L. Francillout, G. Galet, and S. Michel, ATV-CC Vehicle Team Staffing from Jules Verne to Johannes Kepler Mission, 2010.

S. Friedenthal, A. Moore, and R. Steiner, A practical guide to SysML: the systems modeling language, 2011.

P. Fröhlich, A. Sackl, S. Trösterer, A. Meschtscherjakov, L. Diamond et al., Acceptance Factors for Future Workplaces in Highly Automated Trucks. International Conference on Automotive User Interfaces and Interactive Vehicular Applications, pp.129-136, 2018.

M. Galindo, C. Martinie, P. Palanque, M. A. Winckler, and P. Forbrig, Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01231775

L. Hci-international and U. Vegas-nevada, Lecture Notes Computer Sc, vol.8004, pp.51-60

J. Gonzales-calleros, J. Guerrero-garcia, and J. Vanderdonckt, Advance human-machine interface automatic evaluation, Universal Access in the Information Society, vol.12, pp.387-401, 2013.

C. González, M. Varmazyar, S. Nejati, L. Briand, and Y. Isasi, Enabling Model Testing of Cyber-Physical Systems, Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS '18), pp.176-186, 2018.

B. Göransson, J. Gulliksen, and I. Boivie, The usability design process -integrating user-centered systems design in the software development process. Software Process Im-provement and Practice, vol.8, pp.111-131, 2003.

S. Greenberg, The Handbook of Task Analysis for Human-Computer Interaction, pp.49-66, 2004.

J. Guerrero, J. Vanderdonckt, and J. Gonzalez-calleros, FlowiXML: a Step towards Designing Workflow Management Systems, Journal of Web Engineering, pp.163-182, 2008.

A. Hamon, P. Palanque, M. Cronel, R. André, E. Barboni et al., Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions, ACM SIGCHI Conference on Engineering Interactive Systems (EICS), pp.173-178, 2014.

A. Hamon, P. Palanque, D. Navarre, C. Martinie, A. Tankeu-choitat et al., Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism (regular paper), European Congress on Embedded Real-Time Software (ERTS 2012), 2012.

A. Hamon, P. Palanque, D. Navarre, C. Martinie, A. Tankeu-choitat et al., Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism, European Congress on Embedded Real-Time Software, issue.8, 2012.

T. Haritos and N. Macchiarella, A mobile application of augmented reality for aerospace maintenance training, 2005.

M. Hassenzahl, A. Platz, M. Burmester, and K. Lehner, Hedonic and ergonomic quality aspects determine a software's appeal, ACM SIGCHI Conference on Computer Human Interaction (CHI), pp.201-208, 2000.

T. Hewett, R. Baecker, S. Card, T. Carey, J. Gasen et al., ACM SIGCHI Curricula for Human-Computer Interaction, 1992.

E. Hollnagel, Cognitive ergonomics: it's all in the mind, Ergonomics, vol.40, issue.10, pp.1170-1182, 1997.

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

E. Hollnagel, Resilience -the challenge of the unstable, Resilience engineering: concepts and precepts, pp.9-18, 2006.

E. Hollnagel, FRAM -The Functional Resonance Analysis Method, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00773538

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

, ISO 9241-210:2019 Ergonomics of human-system interaction --Part 210: Human-centred design for interactive systems, SESAR Work Package E, 2019.

, ISO 9241 Ergonomic of human-system interaction -part 11: Usability: Definition and concepts, 2018.

, JAR -FCL 1-Flight Crew Licensing (Aeroplane), JAA, 2006.

C. Janssen, S. Donker, D. P. Brumby, and A. L. Kun, History and future of human-automation interaction, International Journal of Human-Computer Studies, pp.99-107, 2019.

B. John and D. Kieras, The GOMS family of user interface analysis techniques: comparison and contrast, ACM Transactions Computer-Human Interaction, vol.3, issue.4, 1996.

B. John and D. Kieras, Using GOMS for User Interface Design and Evaluation: Which Technique?, ACM Transactions on Computer-Human Interaction, vol.3, issue.4, pp.287-319, 1996.

C. Johnson, Using Z to support the design of interactive safety-critical systems, Software Engineering Journal, vol.10, issue.2, pp.49-60, 1995.

C. Johnson, Beyond Belief: Representing Knowledge Requirements For The Operation Of Safety-Critical Interfaces, IFIP TC 13 Conference in Human-Computer Interaction (INTERACT), pp.315-322, 1997.

C. Johnson, M. Feary, C. Martinie, P. Palanque, and R. Peldszus, IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development. IFIP TC13 Human Computer Interaction (INTERACT 2015), pp.663-664, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01610829

P. Johnson, Human-Computer Interaction: psychology, task analysis and software engineering, 1992.

P. Johnson, H. Johnson, and F. Hamilton, Getting the Knowledge into HCI: Theoretical and Practical Aspects of Task Knowledge Structures, 2000.

F. Jourde, Y. Laurillau, and L. Nigay, COMM notation for specifying collaborative and multimodal interactive systems, ACM SIGCHI Conference on Engineering Interactive Computing Systems, pp.125-134, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00953315

Y. Kalfoglou and M. Schorlemmer, Ontology mapping: the state of the art, The Knowledge Engineering Review, vol.18, issue.1, pp.1-31, 2003.

Q. Limbourg, J. Vanderdonckt, B. Michotte, L. Bouillon, and V. Lopez-jacquero, UsiXML: a language supporting multi-path development of user interfaces, 9th IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI), pp.200-220, 2004.

P. Marsden and M. Kirby, Allocation of Functions, Handbook of Human Factors and Ergonomics Methods, p.34, 2005.

C. Martinie, A Model-Based and Systematic Approach to Design and Assess the Level of Automation of Large Interactive Critical Systems, International Conference on Application and Theory of Automation in Command and Control Systems, 2011.

C. Martinie, Une approche à base de modèles synergiques pour la prise en compte simultanée de l'utilisabilité, la fiabilité et l'opérabilité des systèmes interactifs critiques, 2011.

C. Martinie, Game Jam 4 Investigating Design Issues with (partly) autonomous systems, GameJam workshop at ACM Conference on Human Computer Interaction, CHI 2014, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01160302

, Games Jam web site

C. Martinie and P. Palanque, A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches (IFIP WG 2.7/13.4 Workshop on Combining Models and Design for interactive systems, 2011.

C. Martinie and P. Palanque, Predicting and Mitigating Human Error Through Detailed Descriptions of Operators' Tasks (HUDEP, 2013.

C. Martinie and P. Palanque, Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance (regular paper), AAAI 2014 Symposium on Formal Verification on Human-Machine Systems, 2014.

C. Martinie and P. Palanque, Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts, Workshop on Future Mobile User Interfaces. 13th International Conference on Mobile Systems, Applications and Services, vol.5, 2015.

C. Martinie and P. Palanque, Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice (Human Dependability Workshop (HUDEP 2015), ESA/ESOC, 2015.

C. Martinie and P. Palanque, Safety-Critical Automation -Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives, vol.11, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01493791

C. Martinie and P. Palanque, Explicit representation of function allocation and authority sharing (initiative and responsibility, CHI 2018 Workshop -Interacting with Autonomous Vehicles: Learning from other Domains, 2018.

C. Martinie, E. Barboni, D. Navarre, P. Palanque, R. M. Fahssi et al., Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts, ACM SIGCHI conference Engineering Interactive Computing Systems, pp.85-94, 2014.

C. Martinie, M. Galindo, and P. Palanque, Report on the requirements for careers kits identifying the content of the Kits, 2013.

C. Martinie, J. Ladry, D. Navarre, P. Palanque, and M. A. Winckler, Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an _intensive_ Model-Based Development Approach (regular paper), Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), pp.29-32, 2010.

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, issue.9, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01130579

C. Martinie, D. Navarre, and P. Palanque, Exploiting Tasks Descriptions to Assess and Ensure Effectiveness during the programming of interactive Java software, vol.5, 2018.

C. Martinie, D. Navarre, P. Palanque, and C. Fayollas, A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications, ACM SIGCHI conference Engineering Interactive Computing Systems, pp.244-253, 2015.

C. Martinie, D. Navarre, P. Palanque, E. Barboni, and A. Canny, TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications, ACM SIGCHI conference Engineering Interactive Computing Systems (EICS, pp.1-7, 2018.

C. Martinie, P. Palanque, and C. Fayollas, Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models, Computational Interaction, pp.249-283, 2018.

C. Martinie, P. Palanque, and M. Ragosta, Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems, 2012.

, ACM International Conference on Human Factors in Computer Science (Workshop on Enduser Interactions with Intelligent and Autonomous Systems, pp.25-30

C. Martinie, P. Palanque, and M. A. Winckler, Structuring and Composition Mechanisms to Address Scalability Issues in Task Models, IFIP TC13 Human Computer Interaction, pp.134-152, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01591816

C. Martinie, P. Palanque, and M. A. Winckler, Designing and Assessing Interactive Systems Using Task Models, Book of Tutorials of the 14th Brazilian Symposium on Human Factors in Computing Systems, vol.11, pp.29-58, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01493786

C. Martinie, P. Palanque, E. Barboni, and M. Ragosta, Task-Model Based Assessment of Automation Levels: Application to Space Ground Segments, IEEE International Conference on Systems, Man and Cybernetics, vol.10, pp.3267-3273, 2011.

C. Martinie, P. Palanque, E. Barboni, M. A. Winckler, M. Ragosta et al., Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs. International Conference on Application and Theory of Automation in Command and Control Systems, pp.50-59, 2011.

C. Martinie, P. Palanque, E. Bouzekri, A. Cockburn, A. Canny et al., Analysing and Demonstrating Tool-Supported Customizable Task Notations, Proceedings of the ACM, vol.3, issue.12, p.26, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02451043

C. Martinie, P. Palanque, E. Bouzekri, A. Cockburn, A. Canny et al., Analysing and Demonstrating Tool-Supported Customizable Task Notations, Proceedings of the ACM on Human-Computer Interaction, vol.3, issue.12, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02451043

C. Martinie, P. Palanque, R. M. 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, pp.243-254, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01839036

C. Martinie, P. Palanque, D. Navarre, and E. Barboni, A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments (regular paper), Human-Centered Software Engineering, vol.10, pp.112-134, 2012.

C. Martinie, P. Palanque, D. Navarre, and E. Barboni, A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors (regular paper). Safety and Reliability for managing Risk, pp.25-36, 2012.

C. Martinie, P. Palanque, D. Navarre, and E. Poupart, A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satellite (regular paper, International Conference on Space Operations, 2012.

C. Martinie, P. Palanque, D. Navarre, and M. A. Winckler, A formal approach supporting effective and efficient training program for improving operators reliability (regular paper). Safety and Reliability for managing Risk, pp.234-243, 2010.

C. Martinie, P. Palanque, D. Navarre, E. Barboni, and E. Poupart, Systematic Approaches to Training Encompassing Operators' mission and Interaction Techniques, International Conference on Human-Computer Interaction in Aeronautics (HCI'Aero, vol.9, 2012.

C. Martinie, P. Palanque, D. Navarre, E. Barboni, and M. A. Winckler, Un processus de d_veloppement outill_ pour l'exploitation syst_matique des b_n_fices offerts par une conception des syst_mes interactifs centr_e t_ches. (regular paper). Interaction Homme-Machine, vol.10, 2012.

C. Martinie, P. Palanque, D. Navarre, M. A. Winckler, and E. Poupart, Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments (regular paper), ACM SIGCHI conference Engineering Interactive Computing Systems, pp.589-609, 2011.

C. Martinie, P. Palanque, A. Pasquini, M. Ragosta, E. Rigaud et al., Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems' Variability (regular paper, International Conference on Application and Theory of Automation in Command and Control Systems, pp.146-157, 2012.

C. Martinie, P. Palanque, A. Pasquini, M. Ragosta, S. Silvagni et al.,

E. Hollnagel, Modelling of Automation Degradation: a Case Study (regular paper). SESAR Innovation Days, vol.11, 2013.

, SESAR Work Package E

C. Martinie, P. Palanque, A. Pasquini, M. Ragosta, M. Sujan et al., Understanding functional resonance through a federation of models: preliminary findings of an avionics case study (regular paper), International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), vol.9, pp.216-227, 2013.

C. Martinie, P. Palanque, M. Ragosta, and R. M. Fahssi, Extending Procedural Task Models by Explicit and Systematic Integration of Objects, 2013.

, European Conference on Cognitive Ergonomics (ECCE 2013), pp.1-10

C. Martinie, P. Palanque, J. L. Silva, and D. Navarre, Properties verification of interactive systems by tool-supported analysis of its formal specification, 2013.

C. Martinie, P. Palanque, M. A. Winckler, and R. Bernhaupt, AUTOM AT ICS: Research activities on Automation. International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01534806

, ACM Digital Library

C. Martinie, P. Palanque, M. A. Winckler, and S. Conversy, DREAMER: a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements (regular paper), ACM International Conference on Design of Communication (ACM SIGDOC 2010), vol.9, pp.73-80, 2010.

L. Masip, C. Martinie, M. A. Winckler, P. Palanque, T. Granollers et al., A Design Process for Exhibiting Design Choices and Trade-offs in (potentially) Conflicting User Interface Guidelines (regular paper), Human-Centered Software Engineering (HCSE 2012), vol.10, pp.53-71, 2012.

S. Mazhar, P. Wu, and M. Rosemann, Designing complex socio-technical process systems -the airport example, Business Process Management Journal, vol.25, issue.5, pp.1101-1125, 2018.

J. Mcdermid and K. Ripken, Life cycle support in the Ada environment, SIGAda Letters, 1983.

C. Miller and R. Parasuraman, Designing for Flexible Interaction Between Humans and Automation: Delegation Interfaces for Supervisory Control, Human Factors, vol.49, pp.57-75, 2007.

M. , Procedures for Performing a Failure Mode, Effects and Criticality Analysis, 1980.

G. Mori and F. A. Paterno, 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.

E. Mumford, The story of socio-technical design: reflections in its successes, failures and potential, Information Systems Journal, vol.16, pp.317-342, 2006.

D. Navarre, C. Martinie, P. Palanque, A. Pasquini, and M. Ragosta, Model-based dynamic distribution of user interfaces of critical interactive systems, International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2013), pp.66-75, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01130579

D. Navarre, P. Palanque, E. Barboni, J. Ladry, and C. Martinie, Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach, Reliability Engineering and System Safety, vol.96, pp.38-52, 2011.

D. Navarre, P. Palanque, J. Ladry, and E. Barboni, ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability, ACM Transactions on Computer-Human Interaction (TOCHI), vol.16, issue.4, p.56, 2009.
URL : https://hal.archives-ouvertes.fr/hal-02570890

D. Navarre, P. Palanque, C. Martinie, and S. Steere, Formal Description Techniques for Human-Machine Interfaces -Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems, Handbook of Human-Machine Interaction, A Human-Centered Approach, 2011.

B. R. Nguyen, I. Banerjee, and A. Memon, GUITAR: an innovative tool for automated testing of GUI-driven software, Automed Software Engineering, vol.21, issue.1, pp.65-105, 2014.

J. Nielsen, Usability engineering, 1994.

D. Norman, The design of everyday things, 2002.

D. Norman and S. Drapper, User Centred System Design, 1986.

M. Obrist, W. Reitberger, D. Wurhofer, F. Förster, and M. Tscheligi, User Experience Research in the Semiconductor Factory: A Contradiction? IFIP Conference on Human-Computer Interaction, pp.144-151, 2011.

P. Palanque, TC13 Open Symposium 2019 -London, UK -March 29th, 2019. A Systemic View on Resilient Interactive Systems, 2019.

P. Palanque and R. Bastide, A Formalism for Reliable User Interfaces, Workshop Software Engineering/Human Computer Interaction associated with the IEEE/ICSE 16 conference, 1994.

P. Palanque and R. Bastide, Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. Design, Specification and Verification of Interactive Systems DSV-IS'94, pp.383-400, 1994.

P. Palanque and C. Martinie, Contextual Help for Supporting Critical Systems' Operators: Application to Space Ground Segments, Workshop on Activity Context Representation, 2011.

P. Palanque and C. Martinie, Contextual Help for Supporting Critical Systems' Operators: Application to Space Ground Segments (Workshop on Activity Context Representation, 2011.

P. Palanque and C. Martinie, Designing and Assessing Interactive Systems Using Task Models, SIGCHI Conference on Human Factors in Computing Systems, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01493786

P. Palanque and C. Martinie, Designing and Assessing Interactive Systems Using Task Models, ACM SIGCHI Conference on Human Factors in Computing Systems, vol.5, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01493786

P. Palanque, E. Barboni, C. Martinie, D. Navarre, and M. A. Winckler, A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques (regular paper), ACM SIGCHI conference Engineering Interactive Computing Systems, pp.21-30, 2011.

P. Palanque, S. Basnyat, R. Bernhaupt, R. Boring, C. Johnson et al., Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable, Proceeding of CHI, pp.2133-2136, 2007.

P. Palanque, R. Bernhaupt, and C. Martinie, Designing and Engineering Interactive Critical Systems Using Contributions from Gaming Research and Practice, Workshop on Safety-Critical Systems and Video Games: Contradictions and Commonalities, vol.9, 2012.

P. Palanque, R. M. Fahssi, C. Martinie, M. A. Winckler, and M. Galindo, Retour d'exp_rience sur l'enseignement de la mod_lisation des taches au Master Interaction Homme-Machine de Toulouse, GT Mod_les de T_ches -IHM 2015, 2015.

P. Palanque, C. Farenc, and R. Bastide, Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software, Proc. of 7th IFIP Conference on Human-Computer Interaction Interact'99, pp.408-416, 1999.

P. Palanque, J. Ladry, D. Navarre, and E. Barboni, High-Fidelity Prototyping of Interactive Systems Can Be Formal Too, pp.667-676, 2009.

P. Palanque, C. Martinie, and E. Bouzekri, IFIP TC 13 International Conference on Human Computer Interaction INTERACT. Introduction to Automation and to Its Potential for Interactive Systems Design, pp.523-526, 2019.

P. Palanque, C. Martinie, and C. Fayollas, Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems, ACM SIGCHI Conference on Human Factors in Computing Systems, vol.5, pp.1257-1260, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02181965

P. Palanque, C. Martinie, and C. Fayollas, Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems, ACM SIGCHI Conference on Human Factors in Computing Systems, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02181965

P. Palanque, C. Martinie, and M. A. Winckler, Designing and Assessing Interactive Systems Using Task Models, IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2017), vol.9, pp.383-386, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01493786

P. Palanque, C. Martinie, M. Galindo, and A. Maroni, Report on skills, knowledge and background of Career Advisors and counsellors in most European countries, 2013.

P. Palanque, M. A. Winckler, and C. Martinie, A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces, Model-Driven Development of Advanced User Interfaces, vol.340, pp.143-170, 2011.

E. Palmer, Oops, it didn't arm'-A case study of two automation surprises, International Symposium on Aviation Psychology, vol.8, pp.227-232, 1995.

R. Parasuraman, T. Sheridan, and C. Wickens, A model for types and levels of human interaction with automation, IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, vol.30, issue.3, pp.286-297, 2000.

F. Paterno, Task models in interactive software systems, Handbook of Software Engineering and Knowledge Engineering, 2002.

F. Paterno and E. Zini, Applying information visualization techniques to visual representations of task models, pp.105-111, 2004.

F. Paternò, C. Mancini, and S. Meniconi, A Diagrammatic Notation for Specifying Task Models, IFIP TC13 Conference on Human-Computer Interaction (INTERACT'97), pp.362-369, 1997.

M. Philipart, Human reliability analysis methods and tools, Space Safety and Human Performance, pp.501-568, 2018.

M. Pilarski, The concept of recommender system supporting command and control system in hierarchical organization, Proceedings of the Conference on European Network Intelligence, pp.138-141, 2014.

D. Pinelle, C. Gutwin, and G. Greenberg, Task analysis for groupware usability evaluation: Modeling shared-workspace tasks with the mechanics of collaboration, ACM Trans. Comput.-Hum. Interact, vol.10, issue.4, pp.281-311, 2003.

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

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

M. Ragosta, C. Martinie, P. Palanque, D. Navarre, and M. Sujan, Concept Maps as a Glue for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems (regular paper, International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), pp.41-52, 2015.

R. Razali and P. Garratt, Usability Requirements of Formal Verification Tools: A Survey, Journal of Computer Science, vol.6, issue.10, pp.1189-1198, 2010.

, COMMISSION IMPLEMENTING REGULATION (EU) 2017/373, Official Journal of the European Union, 2017.

R. A. Reiser, A History of Instructional Design and Tech-nology: Part II: A History of Instructional Design. Educa-tional Technology Research and Development, vol.49, pp.57-61, 2001.

E. Rigaud, E. Hollnagel, C. Martinie, P. Palanque, A. Pasquini et al., A framework for modeling the consequences of the propagation of automation degradation: application to air traffic control systems (regular paper). SESAR Innovation Days, Eurocontrol, 2012.

V. Roto, P. Palanque, and H. Karnonen, Engaging Automation at Work -A Literature Review, IFIP WG 13.6 Working Conference on Human Work Interaction Design (HWID), pp.158-172, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02494116

W. Royce, Managing the Development of Large Software Systems, pp.1-9, 1970.

. Rtca, Do-178c, software considerations in airborne systems and equipment, 2011.

J. Rumbaugh, I. Jacobson, and G. Booch, Unified Modeling Language Referance Manual, 2004.

E. Salas and J. Cannon-bowers, The Science of Training: A Decade of Progress, Annual Review of Psychology, pp.471-499, 2001.

E. Salas, S. Tannenbaum, K. Kraiger, and K. Smith-jentsch, The Science of Training and Development in Organizations: What Matters in Practice, Psychological Science in the Public Interest, vol.13, issue.2, pp.74-101, 2012.

E. Salas, K. Wilson, H. Priest, and J. Guthrie, Design, Delivery, and Evaluation of Training Systems, G. Salvendy, Handbook of Human Factors and Ergonomics, pp.472-512, 2006.

P. Salmon, N. Stanton, M. Lenné, D. Jenkins, L. Rafferty et al., Human Factors Methods and Accident Analysis Practical Guidance and Case Study Applications, 2011.

N. Sarter, D. Woods, and C. Billings, Automation surprises, Handbook of Human Factors & Ergonomics, pp.1926-1943, 1997.

N. Sarter, D. Woods, C. E. , and B. , Automation surprises, Handbook of Human Factors & Ergonomics, pp.1926-1943, 1997.

A. Sasse, Computer security: anatomy of a usability disaster, and a plan for recovery, Proceedings of CHI 2003 Workshop on HCI and Security Systems, 2003.

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

D. Sims, New realities in aircraft design and, IEEE Computer Graphics and Applications, vol.14, issue.2, p.91, 1994.

G. Singer, Minimizing pilot-error by design: Are test pilot doing a good enough job?, Human Factors and Aerospace Safety, vol.1, issue.4, pp.301-324, 2001.

G. Singer and S. Dekker, Pilot performance during multiple failures: An Empirical study of different warning systems, Transportation Human Factors, vol.2, issue.1, pp.63-76, 2000.

. Skybrary, Arrival Manager (AMAN), 2017.

I. Sommerville, Software engineering, 2011.

N. Stanton, D. Harris, P. Salmon, J. Demagalski, A. Marshall et al., Predicting design induced error in the cockpit, Astronautics and Aviation, vol.42, issue.1, pp.1-10, 2010.

N. Stanton, D. Harris, P. Salmon, J. Demagalski, A. Marshall et al.,

A. Waldmann, Predicting Design Induced Pilot Error using HET (Human Error Template) -A New Formal Human Error Identification Method for Flight Decks, The Aeronautical Journal, vol.110, pp.107-115, 2006.

N. Stanton, R. Mciroy, C. Harvey, S. Blainey, A. Hickford et al., Following the cognitive work analysis train of thought: exploring the constraints of modal shift to rail transport, Ergonomics, vol.56, issue.3, pp.522-540, 2013.

N. Stanton, P. Salmon, and G. Walker, Systems Thinking in Practice -Applications of the Event Analysis of Systemic Teamwork Method, 2019.

A. Tang, C. Owen, B. F. Mou, and W. , Comparative effectiveness of augmented reality in object assembly, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp.73-80, 2003.

K. Vicente, Cognitive work analysis: toward safe, productive, and healthy computer-based work, 1999.

M. Vigo, C. Santoro, and F. Paterno, The usability of task modeling tools, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp.95-99, 2017.

M. Winckler, P. Palanque, and C. Freitas, Tasks and scenario-based evaluation of information visualization techniques, Proceedings of the 3rd annual conference on Task models and diagrams (TAMODIA '04), pp.165-172, 2004.

J. Winter and D. Dodou, Why the Fitts list has persisted throughout the history of function allocation, Cognition Technology and Work ·, vol.16, issue.1, pp.1-11, 2014.

E. Bouzekri, Model-based approaches for the Design and Development of Usable and Dependable Recommender Systems" -Funding CORAC IKKY (French Civil Aviation Authority) -. Cosupervision with Philippe Palanque, 2017.

A. Canny, Systematic approaches to validation of interactive system: generation of test cases from formal models" -Funding CORAC IKKY (French Civil Aviation Authority) -Cosupervision with Philippe Palanque, 2017.

R. Fahssi, Task models based approach for systematic identification and explicit representation of human errors" -Funding CORAC IKKY (French Civil Aviation Authority) -Co-supervision with Philippe Palanque, 2018.

C. Fayollas, Generic Software Architecture and Model-Based Approach for the Dependability of Critical Interactive Systems" -Funding Airbus -Co-supervision with Philippe Palanque, 2015.

M. Ragosta, A multi-modelS based approach for the analysis and modelling of usable and resilient partly autonomous interactive systems" -Funding Eurocontrol (HALA! Research Network) -Co-supervision with Philippe Palanque, 2015.

C. Fayollas, Specification, verification and evaluation of safe, usable and fault tolerant interactive systems: application to aircrafts' cockpit" -Funding: CORAC-IKKY -Co-supervision with Philippe Palanque, 2015.

J. Silva-;-philippe-palanque, E. Bouzekri, A. Cockburn, A. Canny, and E. Barboni, 26 pages. ? Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Celia Martinie, Philippe Palanque, Eric Barboni, Yannick Deleris, Christine Gris, Validation of formal models of interactive systems" -Funding: Airbus -Co-supervision with Philippe Palanque Journals ? Celia Martinie, vol.3, pp.170-191, 2012.

E. Barboni, C. Martinie, D. Navarre, P. Palanque, and M. Winckler, Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language, Science of Computer Programming, vol.86, pp.3-29, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01119843

D. ?-célia-martinie, P. Navarre, and . Palanque, A Multi-Formalism Approach for Model-Based Dynamic Distribution of User Interfaces of Critical Interactive Systems, Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. ECEASST, vol.69, 2013.

D. Navarre, P. Palanque, E. Barboni, J. Ladry, and C. Martinie, Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach, Int. Journal on Reliabilty Engineering and System Safety, pp.854-890, 2010.

P. Book-chapters-?-célia-martinie, C. Palanque, ;. Fayollas, C. Fayollas, P. A. Martinie et al., Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment, handbook of Formal Methods in Human-Computer Interaction, 2017.

P. ?-célia-martinie, M. Palanque, and . Winckler, Designing and Assessing Interactive Systems Using Task Models, pp.29-58, 2015.

M. A. ?-philippe-palanque, C. Winckler, ;. Martinie, P. Navarre, C. Palanque et al., Formal Description Techniques for Human-Machine Interfaces -Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems, Model-Driven Development of Advanced User Interfaces. Heinrich Hussmann, vol.340, pp.143-170, 2011.

E. Bouzekri, A. Canny, C. Martinie, P. Palanque, C. Gris et al., Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description, Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems, vol.544, pp.1-7, 2018.

R. Bernhaupt, P. Palanque, D. Drouet, C. Martinie, ;. Martinie et al., User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience, ACM DL. ? Dorit Billman, Camille Fayollas, Michael Feary, Célia Martinie, Philippe Palanque. Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems. International Conference on Human Error, Safety, and System Development. HCSE 2016, HESSD 2016, vol.11262, pp.1969-001974, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01647709

C. ?-racim-fahssi, P. Martinie, J. Palanque-;-abascal, S. Barbosa, M. Fetter et al., Concept Maps as a Glue for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems, François Manciet, Célia Martinie, and Philippe Palanque. 2015. Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems. In Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS '15), vol.9299, pp.129-139

C. Peter-forbrig, P. Martinie, M. Palanque, R. Winckler, ;. Fahssi et al., Racim Fahssi, Erwann Poupart, and Eliane Cubero-Castan. Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft, Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems (EICS '14), vol.8742, pp.85-94, 2014.

P. ?-celia-martinie and . Palanque, ? Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Deleris, Jean Charles Fabre and David Navarre. An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits, AAAI 2014 Symposium on Formal Verification on Human-Machine Systems -2014, pp.198-209, 2014.

P. ?-celia-martinie, A. Palanque, M. Pasquini, S. Ragosta, M. Silvagni et al., Suède, 26/11/2013-28/11/2013, SESAR Work Package E, novembre 2013. ? Guillaume Brat, Celia Martinie, Philippe Palanque. V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog, juillet 2013. ? Michel Galindo, Célia Martinie, Philippe A. Palanque, Marco Winckler, Peter Forbrig. ? Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects. HCI (1) 2013, pp.51-60

P. ?-celia-martinie, M. Palanque, ;. Ragosta, P. Martinie, A. Palanque et al., A framework for modeling the consequences of the propagation of automation degradation: application to air traffic control systems, Racim Mehdi Fahssi. Extending Procedural Task Models by Explicit and Systematic Integration of Objects, Knowledge and Information, vol.23, pp.53-71, 2012.

P. ?-célia-martinie, D. Palanque, E. Navarre, P. Barboni-;-?-arnaud-hamon, D. Palanque et al., ? Celia Martinie, Philippe Palanque, Marco Antonio Winckler. Structuring and Composition Mechanisms to Address Scalability Issues in Task Models, A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. In Human-Centered Software Engineering (HCSE 2012), vol.7623, pp.41-49, 2011.

P. ?-celia-martinie, M. A. Palanque, S. Winckler, and . Conversy, A formal approach supporting effective and efficient training program for improving operators' reliability, ACM International Conference on Design of Communication (ACM SIGDOC 2010), pp.234-243, 2010.

M. Feary, C. Martinie, P. Palanque, and M. Tscheligi, Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives, Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '16), pp.1069-1072, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01493791

C. Johnson, M. Feary, C. Martinie, and P. A. Palanque, Regina Peldszus: IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development. INTERACT, pp.663-664, 2015.

D. Tutorials-?-célia-martinie, P. Navarre, and . Palanque, Exploiting Tasks Descriptions to Assess and Ensure Effectiveness during the programming of interactive Java software, ACM SIGCHI Conference on Engineering Interactive Systems (EICS, 2018.

C. ?-philippe-palanque, C. Martinie, ;. Fayollas, M. Acm.-?-philippe-palanque, and . Winckler, Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems, Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2018). ACM. ? Philippe Palanque, Célia Martinie, Camille Fayollas, vol.10516, pp.976-979, 2017.

P. Palanque and C. Martinie, Designing and Assessing Interactive Systems Using Task Models, Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '15), pp.2465-2466
URL : https://hal.archives-ouvertes.fr/hal-01493786

P. ?-célia-martinie, M. Palanque, and . Winckler, Designing and Assessing Interactive Systems Using Task Models. Book of Tutorials of the 14th Brazilian Symposium on Human Factors in Computing Systems, Workshop on Research and Practice Challenges for Engineering Interactive Systems while Integrating Multiple Stakeholders Viewpoints, p.2019, 2019.

A. ?-elodie-bouzekri, C. Canny, C. Fayollas, P. Martinie, E. Palanque et al., A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context, Celia Martinie. From Aircrafts Interactive Cockpits to Autonomous Vehicles: Are Design Principles Transferable? In Workshop HCI and Autonomous Vehicles@ CHI 2016, vol.1945, pp.42-55, 2017.

C. Fayollas, C. Martinie, P. Palanque, R. Mehdi-fahssi, ;. Fayollas et al., ? Camille Fayollas, Célia Martinie, Philippe Palanque, Yamine Ait Ameur. QBP Notation for Explicit Representation of Properties, their Refinement and their Potential Conflicts: Application to Interactive Systems, Proceedings of the Workshop on Engineering Computer-Human Interaction in Recommender Systems co-located with the eight ACM SIGCHI Symposium on Engineering Interactive Computing Systems, vol.2016, pp.1-19, 2016.

P. ?-célia-martinie and . Palanque, Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts, Proceedings of the 2015 Workshop on Future Mobile User Interfaces (FutureMobileUI '15), pp.5-7

C. ?-camille-fayollas, P. Martinie, Y. Palanque, and . Déléris, Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime. Workshop on Formal Methods in Human Computer Interaction 2015 (FoMHCI), Workshop on Formal Methods in Human Computer Interaction 2015 (FoMHCI), pp.24-29

C. ?-camille-fayollas, P. Martinie, R. Palanque, and . Fahssi, Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors. IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development, GameJam workshop at ACM Conference on Human Computer Interaction, pp.101-116, 2015.

C. Fayollas, C. Martinie, D. Navarre, P. Palanque, and R. Fahssi, Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces, Proceedings of the 2014 Workshop on Distributed User Interfaces and Multimodal Interaction (DUI '14), pp.27-30, 2014.

. ?-celia-martinie, Game Jam 4 Investigating Design Issues with (partly) autonomous systems, GameJam workshop at ACM Conference on Human Computer Interaction

P. ?-celia-martinie, ;. Palanque, C. Silva, A. Fayollas, P. Hamon et al., ? Celia Martinie, Philippe Palanque, Martina Ragosta. Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems, Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance, 2011.

J. ?-celia-martinie, D. Ladry, P. Navarre, M. A. Palanque, and . Winckler, Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an "intensive" Model-Based Development Approach, Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), vol.617, pp.29-32, 2010.

?. Proceedings, N. Campos, P. Nuno, G. Campos, J. Calvary et al., 5th International Conference on Application and Theory of Automation in Command and Control Systems, vol.3, 2014.

, Editorial boards ? Member of the editorial board of the EICS issues of the Proceedings of the ACM, p.2017

, Working groups Program committee member (French national events)

?. Ihm, 31 st French National Conference in HCI, 2019.

?. Ihm, th French National Conference in HCI, vol.29, 2017.

, Human Error, Safety, and System Development, IFIP Working Group, vol.13, issue.5, 2014.

, Methodologies for user centered design, Member, vol.13, 2012.