E. Barboni, Beyond modeling: an integrated environment supporting co-execution of tasks and systems models, EICS, pp.165-174, 2010.

D. Billman, Benefits of matching domain structure for planning software: the right stuff, p.2521, 2011.

D. Billman, Needs analysis and technology alignment method: a case study of planning work in an international space station controller group-part 1, J. Cogn. Eng. Decision Making, vol.9, issue.2, pp.169-185, 2015.

D. Billman, Representing work for device design and evaluation using biclustering, Presented at the Human Factors & Ergonomics Society, 2016.

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

B. Boehm, A view of 20th and 21st century software engineering, IEEE International Conference on Software Engineering, 2006.

C. M. Burns and J. R. Hajdukiewicz, Ecological interface design, 2004.

K. A. Butler, Work-centered design: a case study of a mixed-initiative scheduler, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp.747-756, 2007.

J. C. Campos, Systematic automation of scenario-based testing of user interfaces, EICS 2016, pp.138-148, 2016.

J. M. Carroll, The task-artifact cycle, Designing Interaction: Psychology at the Human-Computer Interface, 1991.

D. Collingridge, The Social Control of Technology, 1981.

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, pp.22-34, 1994.

R. G. Eggleston, Work-centered design: a cognitive engineering approach to system design, Proceedings of the Human Factors and Ergonomics Society Annual Meeting, vol.47, pp.263-267, 2003.

M. Feary, Automatic detection of interaction vulnerabilities in an executable specification, HCII 2007 and EPCE 2007, vol.4562, pp.487-496, 2007.

B. Göransson, The usability design process -integrating user-centered systems design in the software development process, Softw. Process Improv. Pract, vol.8, issue.2, pp.111-131, 2003.

H. Hartson and D. Hix, Human-computer interface development: concepts and systems for its management, ACM Comput. Surv, vol.21, issue.1, p.1989

Z. Hussain, W. Slany, and A. Holzinger, Investigating agile user-centered design in practice: a grounded theory perspective, USAB 2009, vol.5889, pp.279-289, 2009.

C. Martinie, Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft, pp.85-94, 2014.

C. Martinie, P. Palanque, M. Winckler, P. Campos, N. Graham et al., Structuring and composition mechanisms to address scalability issues in task models, INTERACT 2011, Part III, vol.6948, pp.589-609, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01591816

J. Mcdermid and K. Ripken, Life cycle support in the Ada environment, ACM SIGAda Ada Lett. III, issue.1, 1983.

D. Navarre, ICOs: a model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability, ACM TOCHI, vol.16, issue.4, pp.1-56, 2009.
URL : https://hal.archives-ouvertes.fr/hal-02570890

, User Centered System Design: New Perspectives on Human-Computer Interaction, 1986.

P. Palanque, Supporting usability evaluation of multimodal man-machine interfaces for space ground segment applications using petri net based formal specification, SpaceOps 2006, 2006.

P. Palanque, J. Ladry, D. Navarre, and E. Barboni, High-fidelity prototyping of interactive systems can be formal too, HCI International 2009, Part I. LNCS, vol.5610, pp.667-676, 2009.

J. Rasmussen, Cognitive Systems Engineering, 1994.

M. Rauterberg, An iterative-cyclic software process model, SEKE 1992, 1992.

W. Royce, Managing the development of large software systems, IEEE Wescon, pp.1-9, 1970.

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

D. Sy and L. Miller, Optimizing agile user-centred design, CHI 2008 extended abstracts on Human Factors in Computing Systems (CHI EA 2008), pp.3897-3900, 2008.

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