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

D. Billman, Benefits of matching domain structure for planning software, Proceedings of the 2011 annual conference on Human factors in computing systems, CHI '11, p.2521, 2011.
DOI : 10.1145/1978942.1979311

D. Billman, Needs Analysis and Technology Alignment Method, Journal of Cognitive Engineering and Decision Making, vol.2, issue.10, pp.169-185, 2015.
DOI : 10.1037/0033-295X.94.1.3

D. Billman, Representing Work for Device Design and Evaluation Using Biclustering . Presented at the Human Factors, Ergonomics Society, 2016.
DOI : 10.1177/1541931213601032

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.

C. M. Burns and J. R. Hajdukiewicz, Ecological interface design, Boca Ra-ton, 2004.

K. A. Butler, Work-centered design, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '07, pp.747-756, 2007.
DOI : 10.1145/1240624.1240739

J. C. Campos, Systematic automation of scenario-based testing of user interfaces, Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '16, pp.138-148
DOI : 10.1145/2774225.2774845

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, 1994.
DOI : 10.1145/174800.174803

R. G. Eggleston, Work-Centered Design: A Cognitive Engineering Approach to System Design, Proceedings of the Human Factors and Ergonomics Society Annual Meeting, pp.263-267, 2003.
DOI : 10.1037/e577042012-003
URL : http://www.ise.ncsu.edu/nsf_itr/794B/papers/Eggleston_2003_HFES.pdf

M. Feary, Automatic Detection of Interaction Vulnerabilities in an Executable Specification, Engineering Psychology and Cognitive Ergonomics, pp.487-496, 2007.
DOI : 10.1007/978-3-540-73331-7_53

B. Göransson, 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

Z. Hussain, 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. Martinie, Multi-models-based engineering of collaborative systems, Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems, EICS '14, pp.85-94, 2014.
DOI : 10.1145/2607023.2607031

C. Martinie, Structuring and Composition Mechanisms to Address Scalability Issues in Task Models, LNCS, 2011.
DOI : 10.1007/978-3-642-23765-2_40
URL : https://hal.archives-ouvertes.fr/hal-01591816

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

D. Navarre, ICOs, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, pp.1-56, 2009.
DOI : 10.1145/1614390.1614393

P. Palanque, Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. SpaceOps', 2006.

P. Palanque, High-Fidelity Prototyping of Interactive Systems Can Be Formal Too, Human-Computer Interaction. New Trends, pp.667-676, 2009.
DOI : 10.1007/3-540-45348-2_11

J. Rasmussen, Cognitive systems engineering, 1994.

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://www.ipo.tue.nl/homepages/mrauterb/publications/SEKE92paper.pdf

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, Proceeding of the twenty-sixth annual CHI conference extended abstracts on Human factors in computing systems , CHI '08, pp.3897-3900
DOI : 10.1145/1358628.1358951

K. J. Vicente, Cognitive Work Analysis Toward Safe, Productive, and Healthy Computer-Based Work [Book Review], IEEE Transactions on Professional Communication, vol.46, issue.1, 1999.
DOI : 10.1109/TPC.2002.808348