E. Barboni, J. Ladry, D. Navarre, P. Palanque, and M. Winckler, Beyond modeling: an integrated environment supporting co-execution of tasks and systems models, Proc. of the 2nd ACM SIGCHI symp. on Engineering interactive computing systems (EICS '10), pp.165-174, 2010.

I. Breedvelt, F. Paterno, and C. Sereriins, Reusable structures in task models, pp.251-265, 1997.

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

P. Chen, The entity-relationship model---toward a unified view of data, ACM Transactions on Database Systems, vol.1, issue.1, pp.9-36, 1976.
DOI : 10.1145/320434.320440

J. Chattratichart and J. Kuljis, Exploring the Effect of Control-Flow and Traversal Direction on VPL Usability for Novices, Journal of Visual Languages & Computing, vol.13, issue.5, pp.471-500, 2002.
DOI : 10.1006/jvlc.2002.0240

A. Dennis and J. Valacich, Computer brainstorms: More heads are better than one., Journal of Applied Psychology, vol.78, issue.4, pp.531-537, 1993.
DOI : 10.1037/0021-9010.78.4.531

M. Diehl and W. Stroebe, Productivity loss in brainstorming groups: Toward the solution of a riddle., Journal of Personality and Social Psychology, vol.53, issue.3, pp.497-509, 1987.
DOI : 10.1037/0022-3514.53.3.497

A. Dittmar, More precise descriptions of temporal relations within task models. Design, Specification, and Verification of Interactive Systems (DSV-IS'00), pp.151-168, 2000.
DOI : 10.1007/3-540-44675-3_10

A. Gaffar, D. Sinnig, A. Seffah, and P. Forbrig, Modeling patterns for task models, Proceedings of the 3rd annual conference on Task models and diagrams , TAMODIA '04, pp.99-104, 2004.
DOI : 10.1145/1045446.1045465

R. H. Hartson and P. Gray, Temporal aspects of tasks in the User Action Notation in Human Computer Interaction, pp.1-45, 1992.

J. Hopcroft and J. Ullman, Introduction To Automata Theory, Languages, And Computation, 1990.
DOI : 10.1145/568438.568455

H. Johnson and P. Johnson, Task knowledge structures: Psychological basis and integration into system design, Acta Psychologica, vol.78, issue.1-3, pp.3-26, 1991.
DOI : 10.1016/0001-6918(91)90003-I

Q. Limbourg, C. Pribeanu, and J. Vanderdonckt, Towards Uniformed Task Models in a Model-Based Approach, 8th Workshop on Interactive Systems: Design, Specification, and Verification-(DSV-IS '01), pp.164-182, 2001.
DOI : 10.1007/3-540-45522-1_10

A. Mavin and N. A. Maiden, Determining socio-technical systems requirements: experiences with generating and walking through scenarios, Journal of Lightwave Technology, pp.213-222, 2003.
DOI : 10.1109/ICRE.2003.1232752

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

D. Navarre, P. Palanque, R. Bastide, F. Paternó, and C. Santoro, A Tool Suite for Integrating Task and System Models through Scenarios, 8th Eurographics workshop on Design, Specification and Verification of Interactive Systems, 2001.
DOI : 10.1007/3-540-45522-1_6

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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

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

C. A. Petri, Kommunikation Mit Automaten, Technical University Darmstadt, 1962.

P. Palanque and S. Basnyat, Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours, IFIP 13.5 Working Conf. on Human Error, Safety and Systems Development (HESSD), pp.109-130, 2004.
DOI : 10.1007/1-4020-8153-7_8

F. Paternò, CTTE, CHI '01 extended abstracts on Human factors in computing systems , CHI '01, 2001.
DOI : 10.1145/634067.634084

F. Paternò, ConcurTaskTrees: An Engineered Notation for Task Model. The Handbook of Task Analysis for Human-Computer Interaction, pp.483-503, 2003.

F. Paternò, C. Mancini, and S. Meniconi, ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models, Proc. of Interact'97, pp.362-369, 1997.
DOI : 10.1007/978-0-387-35175-9_58

F. Paternò and E. Zini, Applying information visualization techniques to visual representations of task models, Proceedings of the 3rd annual conference on Task models and diagrams , TAMODIA '04, pp.105-111, 2004.
DOI : 10.1145/1045446.1045466

R. Alur, Timed Automata, Proceedings of the 11th International Conference on Computer Aided Verification (CAV '99), pp.8-22, 1999.

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

S. Sebillotte, Hierarchical planning as method for task analysis: the example of office task analysis, Behaviour & Information Technology, vol.3, issue.3, pp.1362-3001, 1988.
DOI : 10.1016/S0020-7373(84)80054-1

D. Sinnig, M. Wurdel, P. Forbrig, P. Chalin, and F. Khendek, Practical Extensions for Task Models, TAMODIA 2007, pp.42-55, 2007.
DOI : 10.1007/978-3-540-77222-4_5

M. Van-welie, G. C. Van-der-veer, and A. Eliëns, Euterpe -Tool support for analyzing cooperative environments, Ninth European Conf. on Cognitive Ergonomics, pp.25-30, 1998.

M. Van-welie, G. C. Van-der-veer, and A. Eliëns, An Ontology for Task World Models, pp.57-70, 1998.
DOI : 10.1007/978-3-7091-3693-5_5

R. Wieringa, A survey of structured and object-oriented software specification methods and techniques, ACM Computing Surveys, vol.30, issue.4, pp.459-527, 1998.
DOI : 10.1145/299917.299919

W. A. Wood, Transition network grammars for natural language analysis, Communications of the ACM, vol.13, issue.10, pp.591-606, 1970.
DOI : 10.1145/355598.362773