L. De-alfaro, Game Models for Open Systems, Theory and Practice, pp.269-289, 2003.
DOI : 10.1007/978-3-540-39910-0_12

L. De-alfaro, T. A. Henzinger, . Esec, . Sigsoft, and . Fse, Interface automata, ACM SIGSOFT Software Engineering Notes, vol.26, issue.5, pp.109-120, 2001.
DOI : 10.1145/503271.503226

R. Alur, T. A. Henzinger, and O. Kupferman, Alternating-time temporal logic, Journal of the ACM, vol.49, issue.5, pp.672-713, 2002.
DOI : 10.1145/585265.585270
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5461

P. Bhaduri and S. Ramesh, Interface synthesis and protocol conversion. Formal Asp, Comput, vol.20, issue.2, pp.205-224, 2008.
DOI : 10.1007/s00165-007-0045-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.9343

R. Bruni, A. Corradini, F. Gadducci, A. Lluch-lafuente, and A. Vandin, A Conceptual Framework for Adaptation, LNCS, vol.7212, pp.240-254, 2012.
DOI : 10.1007/978-3-642-28872-2_17

M. Cordy, A. Classen, P. Heymans, P. Y. Schobbens, and A. Legay, Model Checking Adaptive Software with Featured Transition Systems, 2012.
DOI : 10.1007/s13174-010-0007-6

D. Nicola, R. Vaandrager, and F. W. , Action versus state based logics for transition systems, Semantics of Systems of Concurrent Processes, pp.407-419, 1990.
DOI : 10.1007/3-540-53479-2_17

M. M. Hölzl, M. Wirsing, G. Agha, O. Danvy, and J. Meseguer, Towards a system model for ensembles Formal Modeling: Actors, Open Systems, Biological Systems, pp.241-261, 2011.

S. S. Kulkarni and K. N. Biyani, Correctness of Component-Based Adaptation, LNCS, vol.3054, pp.48-58, 2004.
DOI : 10.1007/978-3-540-24774-6_6

T. Lints, The essentials of defining adaptation, IEEE Aerospace and Electronic Systems Magazine, vol.27, issue.1, pp.37-41, 2012.
DOI : 10.1109/MAES.2012.6145439

F. Maraninchi and Y. Rémond, Mode-automata: About modes and states for reactive systems, LNCS, vol.1381, pp.185-199, 1998.
DOI : 10.1007/BFb0053571
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.2745

E. Merelli, N. Paoletti, and L. Tesei, A multi-level model for self-adaptive systems, Electronic Proceedings in Theoretical Computer Science, vol.91, pp.112-126, 2012.
DOI : 10.4204/EPTCS.91.8

P. Oreizy, M. M. Gorlick, R. N. Taylor, D. Heimbigner, G. Johnson et al., An architecture-based approach to self-adaptive software, IEEE Intelligent Systems, vol.14, issue.3, pp.54-62, 1999.
DOI : 10.1109/5254.769885
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.4716

P. Robertson, H. E. Shrobe, and R. Laddaga, Introduction to self-adaptive software: Applications, ) IWSAS. LNCS, pp.1-5, 2001.

M. Salehie and L. Tahvildari, Self-adaptive software, ACM Transactions on Autonomous and Adaptive Systems, vol.4, issue.2, pp.1-42, 2009.
DOI : 10.1145/1516533.1516538

G. Salvaneschi, C. Ghezzi, and M. Pradella, Context-oriented programming: A programming paradigm for autonomic systems (v2) CoRR abs/1105, p.69, 2012.

L. A. Zadeh, On the definition of adaptivity, Proceedings of the IEEE, vol.51, issue.3, pp.469-470, 1963.
DOI : 10.1109/PROC.1963.1852

J. Zhang, H. Goldsby, and B. H. Cheng, Modular verification of dynamically adaptive systems, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.161-172, 2009.
DOI : 10.1145/1509239.1509262

Y. Zhao, D. Ma, J. Li, and Z. Li, Model checking of adaptive programs with modeextended linear temporal logic, pp.40-48, 2011.