R. Ali, . Al, T. Bures, I. Gerostathopoulos, J. Keznikl et al., Architecture Adaptation Based on Belief Inaccuracy Estimation, 2014 IEEE/IFIP Conference on Software Architecture, pp.1-4, 2014.
DOI : 10.1109/WICSA.2014.20

C. Amato and S. Zilberstein, Achieving Goals in Decentralized POMDPs, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pp.593-600, 2009.

P. Arcaini, A. Gargantini, and P. Vavassori, Generating Tests for Detecting Faults in Feature Models, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 2015.
DOI : 10.1109/ICST.2015.7102591

L. Baresi and S. Guinea, A-3: An Architectural Style for Coordinating Distributed Components, 2011 Ninth Working IEEE/IFIP Conference on Software Architecture, pp.161-170, 2011.
DOI : 10.1109/WICSA.2011.29

L. Baresi, L. Pasquale, P. Spoletini, S. Barrett, P. Stone et al., Fuzzy Goals for Requirements-Driven Adaptation Teamwork with Limited Knowledge of Teammates, 18th IEEE International Requirements Engineering Conference Proceedings of the 27th AAAI Conference on Artificial Intelligence Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, pp.125-134, 2010.

D. S. Bernstein, R. Givan, N. Immerman, and S. Zilberstein, The Complexity of Decentralized Control of Markov Decision Processes, Mathematics of Operations Research, vol.27, issue.4, pp.819-840, 2002.
DOI : 10.1287/moor.27.4.819.297

D. S. Bernstein, E. A. Hansen, and S. Zilberstein, Bounded Policy Iteration for Decentralized POMDPs, Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp.1287-1292, 2005.

D. M. Berry, B. H. Cheng, and J. Zhang, The Four Levels of Requirements Engineering for and in Dynamic Adaptive Systems, Proc. of the 11th International Workshop on Requirements Engineering Foundation for Software Quality, pp.95-100, 2005.

A. Bhave, B. H. Krogh, D. Garlan, and B. Schmerl, View Consistency in Architectures for Cyber-Physical Systems, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems, pp.151-160, 2011.
DOI : 10.1109/ICCPS.2011.17

P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos, Tropos: An Agent-Oriented Software Development Methodology, Autonomous Agents and Multi-Agent Systems, vol.8, issue.3, pp.3-203, 2004.
DOI : 10.1023/B:AGNT.0000018806.20944.ef

E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J. Stefani, The Fractal component model and its support in Java. Software: Practice & Experience, pp.11-12, 2006.

T. Bures, I. Gerostathopoulos, P. Hnetynka, and J. Keznikl, Gossiping Components for Cyber-Physical Systems, Proc. of 8th European Conference on Software Architecture, pp.250-266, 2014.
DOI : 10.1007/978-3-319-09970-5_23

T. Bures, P. Hnetynka, and F. Plasil, SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06), pp.6-40, 2006.
DOI : 10.1109/SERA.2006.62

N. Chang, R. Rashidzadeh, and M. Ahmadi, Robust indoor positioning using differential wi-fi access points, IEEE Transactions on Consumer Electronics, vol.56, issue.3, pp.1860-1867, 2010.
DOI : 10.1109/TCE.2010.5606338

B. Cheng, Software Engineering for Self- Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems, pp.1-26, 2009.
DOI : 10.1007/978-3-642-02161-9

B. H. Cheng, P. Sawyer, N. Bencomo, and J. Whittle, A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty, Proc. of the 12th International Conference on Model Driven Engineering Languages and Systems, pp.9-10, 2009.
DOI : 10.1007/978-3-540-87875-9_54

L. Chung, B. Nixon, E. Yu, and J. Mylopoulos, Non-Functional Requirements in Software Engineering, 1999.

P. Clements and L. Northrop, Software Product Lines: Practices and Patterns, 2002.

F. Dalpiaz, A. K. Chopra, P. Giorgini, and J. Mylopoulos, Adaptation in Open Systems: Giving Interaction Its Rightful Place, Proceedings of the 29th International Conference on Conceptual Modeling (ER '10), pp.31-45, 2010.
DOI : 10.1109/MC.2009.347

R. Denicola, G. Ferrari, M. Loreti, and R. Pugliese, A Language-based Approach to Autonomic Computing. Formal Methods for Components and Objects, pp.25-48, 2013.

N. Esfahani, E. Kouroshfar, and S. Malek, Taming uncertainty in self-adaptive software, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.234-244, 2011.
DOI : 10.1145/2025113.2025147

M. S. Feather, S. Fickas, A. Van-lamsweerde, and C. Ponsard, Reconciling system requirements and runtime behavior, Proceedings Ninth International Workshop on Software Specification and Design, pp.50-59, 1998.
DOI : 10.1109/IWSSD.1998.667919

S. Fickas and M. S. Feather, Requirements monitoring in dynamic environments, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95), pp.140-147, 1995.
DOI : 10.1109/ISRE.1995.512555

M. J. Fischer, N. A. Lynch, and M. S. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985.
DOI : 10.1145/3149.214121

F. Fouquet, E. Daubert, and N. Plouzeau, Dissemination of Reconfiguration Policies on Mesh Networks, Distributed Applications and Interoperable Systems, pp.16-30, 2012.
DOI : 10.1007/978-3-642-30823-9_2

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

D. Garlan, S. Cheng, A. Huang, B. Schmerl, and P. Steenkiste, Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.10-46, 2004.
DOI : 10.1109/MC.2004.175

I. Georgiadis, J. Magee, and J. Kramer, Selforganising software architectures for distributed systems, Proceedings of the first workshop on Self-healing systems - WOSS '02, pp.33-38, 2002.

I. Gerostathopoulos, T. Bures, P. Hnetynka, A. Hujecek, F. Plasil et al., Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems, pp.3-2015, 2015.
DOI : 10.1007/978-3-319-23727-5_4

H. J. Goldsby, P. Sawyer, N. Bencomo, B. H. Cheng, and D. Hughes, Goal-Based Modeling of Dynamically Adaptive System Requirements, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), pp.36-45, 2008.
DOI : 10.1109/ECBS.2008.22

R. A. Gupta and M. Chow, Networked Control System: Overview and Research Trends, IEEE Transactions on Industrial Electronics, vol.57, issue.7, pp.2527-2535, 2010.
DOI : 10.1109/TIE.2009.2035462

R. Hall, K. Pauls, S. Mcculloch, and D. Savage, OSGi in Action: Creating Modular Applications in Java, 2011.

K. M. Hansen, Modeling and analyzing architectural change with alloy, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.2257-2264, 2012.
DOI : 10.1145/1774088.1774560

M. S. Hasan, H. Yu, A. Carrington, and T. C. Yang, Co-simulation of wireless networked control systems over mobile ad hoc network using SIMULINK and OPNET, IET Communications, vol.3, issue.8, p.1297, 2009.
DOI : 10.1049/iet-com.2008.0536

M. Hinchey, S. Park, and K. Schmid, Building Dynamic Software Product Lines, Computer, vol.45, issue.10, pp.22-26, 2012.
DOI : 10.1109/MC.2012.332

D. Hirsch, J. Kramer, J. Magee, and S. Uchitel, Modes for Software Architectures, Proc. of the 3rd European conference on Software Architecture, pp.6-113, 2006.
DOI : 10.1007/11966104_9

M. Hoelzl, A. Rauschmayer, and M. Wirsing, Engineering of Software-Intensive Systems: State of the Art and Research Challenges. Software-Intensive Systems and New Computing Paradigms, pp.1-44, 2008.

M. Höst, B. Regnell, and C. Wohlin, Using Students as Subjects?A Comparative Study of Students and Professionals in Lead-Time Impact Assessment, Empirical Software Engineering, vol.214, pp.201-214, 2000.

A. Jadbabaie, J. Lin, and A. S. Morse, Coordination of groups of mobile autonomous agents using nearest neighbor rules, IEEE Transactions on Automatic Control, vol.48, issue.6, pp.988-1001, 2003.
DOI : 10.1109/TAC.2003.812781

K. C. Kang, L. Jaejoon, and P. Donohoe, Feature-oriented product line engineering, IEEE Software, vol.19, issue.4, pp.58-65, 2002.
DOI : 10.1109/MS.2002.1020288

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

J. Keznikl, T. Bures, F. Plasil, I. Gerostathopoulos, P. Hnetynka et al., Design of ensemble-based component systems by invariant refinement, Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, CBSE '13, pp.91-100, 2013.
DOI : 10.1145/2465449.2465457

J. Keznikl, T. Bures, F. Plasil, and M. Kit, Towards Dependable Emergent Ensembles of Components: The DEECo Component Model, 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, pp.249-252, 2012.
DOI : 10.1109/WICSA-ECSA.212.39

J. Kramer and J. Magee, Self-Managed Systems: an Architectural Challenge, Future of Software Engineering (FOSE '07), pp.259-268, 2007.
DOI : 10.1109/FOSE.2007.19

A. Lamsweerde and . Van, Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, pp.238-249, 2008.
DOI : 10.1145/1453101.1453133

A. Lamsweerde and . Van, Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2009.
DOI : 10.1145/1453101.1453133

A. Lamsweerde, . Van, and E. Letier, Handling obstacles in goal-oriented requirements engineering, IEEE Transactions on Software Engineering, vol.26, issue.10, pp.978-1005, 2000.
DOI : 10.1109/32.879820

D. Leberre and A. Parrain, The Sat4j Library, release 2.2, Journal on Satisfiability Boolean Modeling and Computation, vol.7, pp.59-64, 2010.

P. K. Mckinley, S. M. Sadjadi, E. P. Kasten, and B. H. Cheng, Composing adaptive software, Computer, vol.37, issue.7, pp.7-56, 2004.
DOI : 10.1109/MC.2004.48

M. Morandini, L. Penserini, and A. Perini, Automated Mapping from Goal Models to Self-Adaptive Systems, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.485-486, 2008.
DOI : 10.1109/ASE.2008.83

M. Morandini and A. Perini, Towards goal-oriented development of self-adaptive systems, Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems , SEAMS '08, pp.9-16, 2008.
DOI : 10.1145/1370018.1370021

B. Morin, O. Barais, J. Jezequel, F. Fleurey, and A. Solberg, Models at Runtime to Support Dynamic Adaptation, Computer, vol.42, pp.10-44, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00477529

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, pp.9-122, 2009.
DOI : 10.1109/ICSE.2009.5070514

A. Murguzur, R. Capilla, S. Trujillo, Ó. Ortiz, and R. E. Lopez-herrejon, Context variability modeling for runtime configuration of service-based dynamic software product lines, Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools, SPLC '14, pp.2-9, 2014.
DOI : 10.1145/2647908.2655957

R. M. Murray, K. J. Astrom, S. P. Boyd, R. W. Brockett, and G. Stein, Future Directions in Control in an Information-Rich World, Control Systems, IEEE, vol.23, issue.2, pp.1-21, 2003.

S. Mustafiz, J. Denil, L. Lúcio, and H. Vangheluwe, The FTG+PM framework for multi-paradigm modelling, Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, MPM '12, pp.13-18, 2012.
DOI : 10.1145/2508443.2508446

P. Oreizy, M. M. Gorlick, R. N. Taylor, D. Heimbigner, G. Johnson et al., An Architecture-Based Approach to Self-Adaptive Software. Intelligent Systems and their Applications, IEEE, vol.14, pp.3-54, 1999.

W. N. Robinson, A requirements monitoring framework for enterprise systems, Requirements Engineering, vol.26, issue.3, pp.17-41, 2005.
DOI : 10.1007/s00766-005-0016-3

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

P. Sawyer, N. Bencomo, J. Whittle, E. Letier, and A. Finkelstein, Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems, 2010 18th IEEE International Requirements Engineering Conference, pp.95-103, 2010.
DOI : 10.1109/RE.2010.21

P. Sawyer, I. Rocquencourt, R. Mazo, D. Diaz, C. Salinesi et al., Using Constraint Programming to Manage Configurations in Self-Adaptive Systems, Computer, vol.45, issue.10, pp.10-56, 2012.
DOI : 10.1109/MC.2012.286

S. Sentilles, A. Vulgarakis, T. Bures, J. Carlson, and I. Crnkovic, A component model for controlintensive distributed embedded systems, Proc. of the 11th International Symposium on Component-Based Software Engineering, pp.310-317, 2008.

S. Seuken and S. Zilberstein, Improved Memory- Bounded Dynamic Programming for Decentralized POMDPs, Proc. of the Twenty-Third Conference on Uncertainty in Artificial Intelligence, 2012.

L. Sha and J. Meseguer, Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. Software-Intensive Systems and New Computing Paradigms, pp.92-100, 2008.

D. J. Sheskin, Handbook of Parametric and Nonparametric Statistical Procedures, 2011.
DOI : 10.1201/9781420036268

Y. Shoham and K. Leyton-brown, Multiagent systems: Algorithmic, game-theoretic, and logical foundations, 2008.
DOI : 10.1017/CBO9780511811654

V. E. Souza, A. Lapouchnian, W. N. Robinson, and J. Mylopoulos, Awareness Requirements. Software Engineering for Self-Adaptive Systems II, pp.133-161, 2013.

M. T. Spaan, F. A. Oliehoek, and N. Vlassis, Multiagent Planning under Uncertainty with Stochastic Communication Delays, Proc. of Int. Conf. on Automated Planning and Scheduling, pp.338-345, 2008.

A. Valtazanos and M. Steedman, Improving Uncoordinated Collaboration in Partially Observable Domains with Imperfect Simultaneous Action Communication, Proc. of the Workshop on Distributed and Multi-Agent Planning in ICAPS, pp.45-54, 2014.

J. Whittle, P. Sawyer, and N. Bencomo, RELAX: a language to address uncertainty in self-adaptive systems requirement, Requirements Engineering, vol.91, issue.1, pp.177-196, 2010.
DOI : 10.1007/s00766-010-0101-0

C. Wohlin, P. Runeson, M. Host, M. C. Ohlsson, B. Regnell et al., Experimentation in Software Engineering, 2012.
DOI : 10.1007/978-1-4615-4625-2

F. Wu, S. Zilberstein, and X. Chen, Online Planning for Ad Hoc Autonomous Agent Teams, Proc. of the 22nd International Joint Conference on Artificial Intelligence, pp.439-445, 2011.

F. Wu, S. Zilberstein, and X. Chen, Online planning for multi-agent systems with bounded communication, Artificial Intelligence, vol.175, issue.2, pp.487-511, 2011.
DOI : 10.1016/j.artint.2010.09.008