E. A. Aboussoror, I. Ober, I. Ober, R. B. France, J. Kazmeier et al., Seeing Errors: Model Driven Simulation Trace Visualization, ELS 2012, pp.480-496, 2012.
DOI : 10.1007/978-3-642-33666-9_31

J. Lilius and I. P. Paltor, vUML: a tool for verifying UML models, 14th IEEE International Conference on Automated Software Engineering, pp.255-258, 1999.
DOI : 10.1109/ASE.1999.802301

G. J. Holzmann, Design and Validation of Computer Protocols, 1991.

I. Ober and I. Dragomir, OMEGA2: A New Version of the Profile and the Tools, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, pp.373-378, 2010.
DOI : 10.1109/ICECCS.2010.41

M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis, The IF Toolset, SFM-RT 2004, pp.237-267, 2004.
DOI : 10.1007/978-3-540-30080-9_8
URL : https://hal.archives-ouvertes.fr/hal-00361307

H. Espinoza, H. Dubois, S. Gérard, J. L. Medina, D. C. Petriu et al., Annotating UML Models with Non-functional Properties for Quantitative Analysis, MoDELS 2005, pp.79-90, 2006.
DOI : 10.1007/11663430_9

E. Conquet, Formal Model Driven Engineering for Space Onboard Software, Embedded Real Time Software and Systems (ERTS2) (2012), pp.7-11

C. Mraidha, S. Tucci-piergiovanni, and S. Gerard, Optimum, ACM SIGSOFT Software Engineering Notes, vol.36, issue.1, pp.1-8, 2011.
DOI : 10.1145/1921532.1921555

I. Ober, S. Graf, and D. Lesens, Modeling and Validation of a Software Architecture for the Ariane-5 Launcher, FMOODS 2006, pp.48-62, 2006.
DOI : 10.1145/321738.321743

I. Ober, S. Graf, Y. Yushtein, and I. Ober, Timing analysis and validation with UML: the case of the embedded MARS bus manager, Innovations in Systems and Software Engineering, vol.1, issue.1???2, pp.301-308, 2008.
DOI : 10.1007/s11334-008-0066-z

Y. Lin, J. Gray, and F. Jouault, DSMDiff: a differentiation tool for domain-specific models, European Journal of Information Systems, vol.20, issue.5, pp.349-361, 2007.
DOI : 10.1109/MS.2003.1231150
URL : https://hal.archives-ouvertes.fr/hal-00483464

A. Dix, Human-Computer Interaction, 2004.

J. Brooke, http://hell.meiert.org/core/pdf/sus.pdf 19. International Standards Organisation: ISO 9241-11:1998 Ergonomic requirements for office work with visual display terminals (vdts) part 11 ? Guidance on usability, 1996.

N. Stanton, Human Factors Methods ? A Practical Guide for Engineering and Design, Ashgate, 2005.

J. Sweller, Evolution of human cognitive architecture, Psychology of Learning and Motivation, vol.43, pp.215-266, 2003.
DOI : 10.1016/S0079-7421(03)01015-6

J. Deantoni, RT-SIMEX ? Retro-analysis of execution traces, Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.377-378, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00587116

S. Yokoyama, H. Sato, and M. Kurihara, User-friendly GUI in software model checking, 2009 IEEE International Conference on Systems, Man and Cybernetics, pp.468-473, 2009.
DOI : 10.1109/ICSMC.2009.5346810

D. L. Moody, The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering, IEEE Transactions on Software Engineering, vol.35, issue.6, pp.756-779, 2009.
DOI : 10.1109/TSE.2009.67

B. Combemale, L. Gonnord, V. Rusu, R. B. France, J. M. Kuester et al., A Generic Tool for Tracing Executions Back to a DSML???s Operational Semantics, ECMFA 2011, pp.35-51, 2011.
DOI : 10.1007/978-3-642-21470-7_4

J. Hutchinson, Empirical assessment of MDE in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.471-480, 2011.
DOI : 10.1145/1985793.1985858