A. L. Ambler, M. M. Burnett, and B. A. Zimmerman, Operational versus definitional: a perspective on programming paradigms, Computer, vol.25, issue.9, pp.28-43, 1992.
DOI : 10.1109/2.156380

K. Ashton, That internet of things thing, RFiD Journal, vol.22, pp.97-114, 2009.

J. Aycock, A brief history of just-in-time, ACM Computing Surveys, vol.35, issue.2, pp.97-113, 2003.
DOI : 10.1145/857076.857077

C. Borcea, D. Iyer, P. Kang, A. Saxena, and L. Iftode, Cooperative computing for distributed embedded systems, Proceedings 22nd International Conference on Distributed Computing Systems, pp.227-236, 2002.
DOI : 10.1109/ICDCS.2002.1022260

T. Bourdenas and M. Sloman, Starfish, Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '10, pp.75-83, 2010.
DOI : 10.1145/1808984.1808993

J. Cardoso, A. Sheth, J. Miller, J. Arnold, and K. Kochut, Quality of service for workflows and web service processes, Web Semantics: Science, Services and Agents on the World Wide Web, pp.281-308, 2004.
DOI : 10.1016/j.websem.2004.03.001

M. Edmund, J. M. Clarke, and . Wing, Formal methods: State of the art and future directions, ACM Computing Surveys (CSUR), vol.28, issue.4, pp.626-643, 1996.

F. Fleurey, B. Morin, and A. Solberg, A model-driven approach to develop adaptive firmwares, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.168-177, 2011.
DOI : 10.1145/1988008.1988031

F. Fleurey, B. Morin, A. Solberg, and O. Barais, MDE to Manage Communications with and between Resource-Constrained Systems, Model Driven Engineering Languages and Systems, pp.349-363, 2011.
DOI : 10.1007/978-3-540-79996-2_10

URL : https://hal.archives-ouvertes.fr/hal-00647141

F. Fouquet, O. Barais, N. Plouzeau, J. Jezequel, B. Morin et al., A Dynamic Component Model for Cyber Physical Systems Categories and Subject Descriptors, 15th International ACM SIGSOFT Symposium on Component Based Software Engineering, pp.135-144, 2012.

D. Garlan, A. Cheng, and . Huang, Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.276-277, 2004.
DOI : 10.1109/MC.2004.175

A. Girault, B. Lee, A. Edward, and . Lee, Hierarchical finite state machines with multiple concurrency models. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.18, issue.6, pp.742-760, 1999.

. Schmidt, Model driven middleware: A new paradigm for developing distributed real-time and embedded systems, Science of Computer Programming, vol.73, issue.1, pp.39-58, 2008.

A. Matti and . Kaulio, Customer, consumer and user involvement in product development: A framework and a review of selected methods, Total Quality Management, vol.9, issue.1, pp.141-149, 1998.

S. Kelly and J. Tolvanen, Domain-specific modeling: enabling full code generation, 2008.
DOI : 10.1002/9780470249260

G. Lawton, Machine-to-machine technology gears up for growth, Computer, vol.37, issue.9, pp.12-15, 2004.
DOI : 10.1109/MC.2004.137

J. Magee, J. Kramer, and M. Sloman, Constructing distributed systems in conic. Software Engineering, IEEE Transactions on, vol.15, issue.6, pp.663-675, 1989.

D. Nessett, Massively distributed systems: Design issues and challenges, USENIX Workshop on Embedded System, 1999.

J. Rothenberg, The nature of modeling, 1989.

P. Runeson, A survey of unit testing practices. Software, IEEE, vol.23, issue.4, pp.22-29, 2006.

C. Douglas and . Schmidt, Guest editor's introduction: Model-driven engineering, Computer, vol.39, issue.2, pp.25-31, 2006.

S. E. Sim, S. Easterbrook, C. Richard, and . Holt, Using benchmarking to advance research: a challenge to software engineering, 25th International Conference on Software Engineering, 2003. Proceedings., pp.74-83, 2003.
DOI : 10.1109/ICSE.2003.1201189

A. Van-deursen, P. Klint, and J. Visser, Domain-specific languages, Centrum voor Wiskunde en Informatika, 2000.
DOI : 10.1145/352029.352035

M. Verhoef, J. Larsen, and . Hooman, Modeling and Validating Distributed Embedded Real-Time Systems with VDM++, FM, 2006.
DOI : 10.1007/11813040_11

J. Elaine, . Weyuker, I. Filippos, and . Vokolos, Experience with performance testing of software systems: issues, an approach, and case study, IEEE transactions on software engineering, vol.26, issue.12, pp.1147-1156, 2000.

W. Ti-yen-yen and . Wolf, Communication synthesis for distributed embedded systems ICCAD-95, IEEE/ACM International Conference on, pp.288-294, 1995.

W. Zhao, D. Olshefski, G. Henning, and . Schulzrinne, Internet quality of service: An overview, 2000.