R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee, Modular Specification of Hybrid Systems in Charon, Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, HSCC '00, pp.6-19, 2000.
DOI : 10.1007/3-540-46430-1_5

F. André, E. Daubert, N. Grégory, B. Morin, and O. Barais, F4Plan: An Approach to Build Efficient Adaptation Plans, MobiQuitous.A C M
DOI : 10.1007/978-3-540-89897-9_5

S. Bagchi, Nano-kernel: a dynamically reconfigurable kernel f o rW S N .I n1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, MOBILWARE '08, pp.1-10, 2007.

. Autohome, An Autonomic Management Framework for Pervasive Home Applications, ACM Trans. Auton. Adapt. Syst, vol.68, pp.1-8, 2011.

S. Burmester, H. Giese, O. Oberschelp, J. Braz, H. Ara?a?joara? et al., HYBRID UML COMPONENTS FOR THE DESIGN OF COMPLEX SELF-OPTIMIZING MECHATRONIC SYSTEMS, pp.281-288, 2006.
DOI : 10.1007/1-4020-4543-3_34

D. Cassou, E. Balland, C. Consel, and J. Lawall, Leveraging software architectures to guide and verify the development of sense/compute/control applications, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.431-440, 2011.
DOI : 10.1145/1985793.1985852
URL : https://hal.archives-ouvertes.fr/inria-00537789

E. M. Dashofy, A. Van-der-hoek, and R. N. Taylor, An infrastructure for the rapid development of XML-based architecture description languages, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.266-276, 2002.
DOI : 10.1145/581372.581374

P. D-a-v-i-d, T. L-e-d-o-u-x, M. , and T. Coupaye, FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures, Annales des Télécommunications, vol.64, issue.12, pp.45-63, 2009.

J. Eker, J. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.8244

C. Escoffier, R. S. Hall, and P. Lalanda, iPOJO: an Extensible Service-Oriented Component Framework, IEEE International Conference on Services Computing (SCC 2007), pp.474-481, 2007.
DOI : 10.1109/SCC.2007.74
URL : http://ants.iis.sinica.edu.tw/3BkMJ9lTeWXTSrrvNoKNFDxRm3zFwRR/86/iPojo.PDF

J. Fassino, J. Stefani, J. L. Lawall, and G. Muller, Think: A Software Framework for Component-based Operating System Kernels, General Track of the annual conference on USENIX Annual Technical Conference, pp.73-86, 2002.

F. Fleurey, B. Morin, and A. Solberg, A Model-Driven Approach to Develop Adaptive Firmwares [16] T. Henzinger. Masaccio: A formal model for embedded components, SEAMS'11@ICSE: Workshop on Software Engineering for Adaptive and Self-Managing Systems Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, volume 1872 of Lecture Notes in Computer Science, pp.549-563, 2000.

E. Höfig, P. H. Deussen, and I. Schieferdecker, On the performance of UML state machine interpretation at runtime, 6th international symposium on Software engineering for adaptive and self-managing systems (SEAMS '11), pp.118-127, 2011.

R. Johnson, B. Woolf-]-e, A. Jovanov, A. Milenkovï, and S. , The Type Object Pattern Reconfigurable Intelligent Sensors for Health Monitoring: A Case Study of Oximeter sensor, 26th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, pp.4759-4762, 1997.

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

B. Morin, O. Barais, J. Jézéquel, F. Fleurey, and A. Solberg, Models@ Run.time to Support Dynamic Adaptation, Computer, vol.42, issue.10, pp.4244-51, 2009.
DOI : 10.1109/MC.2009.327

B. Morin, O. Barais, G. Nain, and J. Jezequel, Taming Dynamically Adaptive Systems using models and aspects, 2009 IEEE 31st International Conference on Software Engineering, 2009.
DOI : 10.1109/ICSE.2009.5070514
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.780

E. D. Nitto, C. Ghezzi, A. Metzger, M. P. Papazoglou, and K. Pohl, A journey to highly dynamic, self-adaptive service-based applications, Automated Software Engineering, vol.10, issue.3, pp.3-4313, 2008.
DOI : 10.1007/s10515-008-0032-x

A. Ranganathan, S. Chetan, J. Al-muhtadi, R. H. Campbell, and M. D. Mickunas, Olympus: A High-Level Programming Model for Pervasive Computing Environments, Third IEEE International Conference on Pervasive Computing and Communications, pp.7-16, 2005.
DOI : 10.1109/PERCOM.2005.26

J. S. Rellermeyer, O. Riva, and G. Alonso, AlfredO: An Architecture for Flexible Interaction with Electronic Devices, 9th ACM/IFIP/USENIX International Conference on Middleware, Middleware '08, pp.22-41, 2008.
DOI : 10.1145/571985.572008

M. Román, C. Hess, R. Cerqueira, A. Ranganathan, R. H. Campbell et al., A middleware infrastructure for active spaces, IEEE Pervasive Computing, vol.1, issue.4, pp.74-83, 2002.
DOI : 10.1109/MPRV.2002.1158281

W. Schäfer and H. Wehrheim, Graph transformations and model-driven engineering. chapter Model-driven development with Mechatronic UML, pp.533-554

H. Singh, M. Lee, G. Lu, N. Bagherzadeh, F. J. Kurdahi et al., MorphoSys: an integrated reconfigurable system for data-parallel and computation-intensive applications, IEEE Transactions on Computers, vol.49, issue.5, pp.465-481, 2000.
DOI : 10.1109/12.859540

T. Stauner, A. Pretschner, and I. Péter, Approaching a discrete-continuous uml: Tool support and formalization, Workshop of the pUML-Group on Practical UML-Based Rigorous Development Methods -Countering or Integrating the eXtremists, pp.242-257, 2001.

R. Van-ommering, F. Van-der-linden, J. Kramer, and J. Magee, The Koala component model for consumer electronics software, Computer, vol.33, issue.3, pp.78-85, 2000.
DOI : 10.1109/2.825699