E. Barboni, S. Conversy, D. Navarre, and P. Palanque, Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification, Proc. of DSVIS 2006, pp.25-38
DOI : 10.1007/978-3-540-69554-7_3
URL : https://hal.archives-ouvertes.fr/hal-01021771

J. Bertin, Sémiologie Graphique -Les diagrammes les réseaux -les cartes. Gauthier-Villars et Mouton & Cie, 1967.

J. Boulanger and V. Dao, Requirements engineering in a model-based methodology for embedded automotive software, 2008 IEEE International Conference on Research, Innovation and Vision for the Future in Computing and Communication Technologies, pp.263-268, 2008.
DOI : 10.1109/RIVF.2008.4586365

K. Coninx, E. Cuppens, J. De-boeck, and C. Raymaekers, Integrating Support for Usability Evaluation into High Level Interaction Descriptions with NiMMiT, pp.95-108, 2007.
DOI : 10.1007/978-3-540-69554-7_8

A. H. Dutoit, R. Mccall, I. Mistrík, and B. Paech, Rationale Management in Software Engineering: Concepts and Techniques, Rationale Management in Software Engineering, pp.432-3540309977, 2006.

A. Gregoriades and A. Sutcliffe, Scenario-based assessment of nonfunctional requirements, IEEE Transactins on Software Engineering, pp.392-408, 2005.
DOI : 10.1109/TSE.2005.59

N. Henry and J. Fekete, MatrixExplorer: a Dual-Representation System to Explore Social Networks, Proceedings Visualization, pp.677-684, 2006.
DOI : 10.1109/TVCG.2006.160
URL : https://hal.archives-ouvertes.fr/hal-00876592

X. Lacaze, P. Palanque, E. Barboni, R. Bastide, and D. Navarre, From DREAM to Reality: Specificities of Interactive Systems Development With Respect To Rationale Management, pp.155-170, 2006.
DOI : 10.1007/978-3-540-30998-7_7

A. Maclean, R. M. Young, V. M. Bellotti, . Moran, and P. Thomas, Questions, Options, and Criteria: Elements of Design Space Analysis, Human-Computer Interaction, vol.2, issue.3, pp.201-250, 1991.
DOI : 10.1207/s15327051hci0603&4_2

N. A. Maiden and S. Robertson, Developing Use Cases and Scenarios in the Requirements Process, Proc. ICSE 2005 26th Int. Conference on Software Engineering

N. A. Maiden, C. Ncube, and S. Robertson, Can Requirements Be Creative? Experiences with an Enhanced Air Space Management System, 29th International Conference on Software Engineering (ICSE'07), pp.632-641
DOI : 10.1109/ICSE.2007.24

D. Navarre, P. Palanque, and R. Bastide, A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. HCI-Aero, CD-ROM proceedings, 2004.

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 and X. Lacaze, DREAM-TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems, Proceedings of INTERACT 2007, 2007.

. Petshop, At: http://ihcs.irit, 2010.

R. At-rosson, M. B. Carroll, and J. M. , Usability Engineering: Scenario-Based Development of Human-Computer Interaction, 2002.

A. Sutcliffe and M. Ryan, Experience with SCRAM, a SCenario Requirements Analysis Method, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98, pp.164-173, 1998.
DOI : 10.1109/ICRE.1998.667822