H. Aguinis and K. Kraiger, Benefits of Training and Development for Individuals and Teams, Organizations, and Society, Annual Review of Psychology, vol.60, issue.1, pp.451-475, 2009.
DOI : 10.1146/annurev.psych.60.110707.163505

D. Alonso-rios, A. Vasquez-garcia, E. Mosqueira-rey, and V. Morey-bonillo, Usability: A Critical Analysis and a Taxonomy, International Journal of Human-Computer Interaction, vol.99, issue.2, pp.53-74, 2010.
DOI : 10.1007/s11219-006-7600-8

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, N. Chozos, C. Johnson, and P. Palanque, Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems, DSV-IS 2005, pp.51-66
DOI : 10.1007/11752707_5

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

R. Bastide, D. Navarre, and P. Palanque, A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, pp.309-328, 2003.

R. Bernhaupt, D. Navarre, P. Palanque, and M. Winckler, Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications, Maturing Usability: Quality in Software, Interaction and Quality, 2007.
DOI : 10.1007/978-1-84628-941-5_5

F. Bodart, A. Hennebert, J. Leheureux, and J. Vanderdonckt, Encapsulating Knowledge for Intelligent Automatic Interaction Objects Selection, Human Factors in Computing Systems INTERCHI'93, pp.424-453, 1993.

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

B. Boehm, A View of 20th and 21st Century Software Engineering Invited talk, IEEE Int. Conf. on Software Engineering, 2006.

J. M. Carroll, W. A. Kellogg, and M. B. Rosson, The Task-Artifact Cycle Designing Interaction: Psychology at the Human-Computer Interface, 1991.

D. Collins, Designing Object-Oriented user interfaces, 1995.

B. Curtis and B. Hefley, A wimp no more: the maturing of user interface engineering, interactions, vol.1, issue.1, 1994.
DOI : 10.1145/174800.174803

O. Esteban, S. Chatty, P. Palanque, and . Whizz, Ed: a Visual Environment for building Highly Interactive Software INTERACT, pp.121-127, 1995.
DOI : 10.1007/978-1-5041-2896-4_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.5975

B. Göransson, J. Gulliksen, and I. Boivie, The usability design process - integrating user-centered systems design in the software development process, Software Process: Improvement and Practice, pp.111-131, 2003.
DOI : 10.1016/0953-5438(93)90010-Q

H. Hartson and D. Hix, Human-computer interface development: concepts and systems for its management, ACM Computing Surveys, vol.21, issue.1, 1989.
DOI : 10.1145/62029.62031
URL : http://eprints.cs.vt.edu/archive/00000014/01/TR-85-07.pdf

Z. Hussain, W. Slany, and A. Holzinger, Investigating Agile User-Centered Design in Practice: A Grounded Theory Perspective, pp.279-289, 2009.
DOI : 10.1007/978-3-642-10308-7_19

C. Johnson, On the over emphasis of human error as a cause of aviation accidents: systemic failures and human error in US NTSB and Canadian TSB aviation reports, 1996.

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

C. Martinie, P. Palanque, and M. Winckler, Structuring and Composition Mechanisms to Address Scalability Issues in Task Models, Proceedings of the IFIP TC 13 INTERACT, 2011.
DOI : 10.1007/978-3-642-23765-2_40

C. Martinie, P. Palanque, M. Winckler, and S. Conversy, DREAMER, Proceedings of the 28th ACM International Conference on Design of Communication, SIGDOC '10, pp.73-80, 2010.
DOI : 10.1145/1878450.1878463
URL : https://hal.archives-ouvertes.fr/hal-01022256

C. Martinie, P. Palanque, M. Winckler, D. Navarre, and E. Poupart, Model-based training, Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '11, pp.53-62
DOI : 10.1145/1996461.1996495

D. Mayhew, The Usability Engineering Lifecycle, A practitioner's handbook for User Interface Design

J. Mcdermid and K. Ripken, Life cycle support in the Ada environment, ACM SIGAda Ada Letters, vol.III, issue.1, 1983.
DOI : 10.1145/998373.998379

A. M. Memon and M. L. Soffa, Regression testing of GUIs, pp.118-127, 2003.
DOI : 10.1145/940085.940088
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.7981

A. M. Memon, M. L. Soffa, and M. E. Pollack, Coverage criteria for GUI testing, pp.256-267, 2001.
DOI : 10.1145/503241.503244
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4835

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

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, pp.109-130, 2004.
DOI : 10.1007/1-4020-8153-7_8

P. Palanque and R. Bastide, Verification of an Interactive Software by analysis of its formal specification INTERACT 1995, pp.191-197

P. Palanque, R. Bernhaupt, D. Navarre, M. Ould, and M. Winckler, Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification, SpaceOps 2006 Conference, 2006.
DOI : 10.1145/302979.303165

F. Paternò, C. Santoro, and L. D. Spano, MARIA, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, 2009.
DOI : 10.1145/1614390.1614394

J. Preece, Y. Rogers, H. Sharp, D. Benyon, S. Holland et al., Human-Computer Interaction

M. Rauterberg, An iterative-cyclic software process model, Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering, 1992.
DOI : 10.1109/SEKE.1992.227899
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.6086

M. Rettig, Prototyping for tiny fingers, Communications of the ACM, vol.37, issue.4, pp.21-27, 1994.
DOI : 10.1145/175276.175288

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

E. Salas and J. Cannon-bower, The Science of Training: A Decade of Progress, Annual Review of Psychology, vol.52, issue.1, pp.471-499, 2001.
DOI : 10.1146/annurev.psych.52.1.471

A. Seffah, M. Donyaee, R. B. Kline, and H. K. Padda, Usability measurement and metrics: A consolidated model, Software Quality Journal, vol.12, issue.2, 2006.
DOI : 10.1007/978-3-540-39733-5_8

N. Storey, Safety-critical computer systems, 1996.

K. Schwaber, Agile Project Management with Scrum, 2004.

D. Sy and L. Miller, Optimizing Agile User-centred design. In CHI '08 extended abstracts on Human factors in computing systems (CHI EA '08), pp.3897-3900
DOI : 10.1145/1358628.1358951