T. Abdelzaher and N. Bhatti, Web server QoS management by adaptive content delivery, 1999 Seventh International Workshop on Quality of Service. IWQoS'99. (Cat. No.98EX354), 1999.
DOI : 10.1109/IWQOS.1999.766497

T. Abdelzaher, K. Shin, and N. Bhatti, Performance guarantees for Web server endsystems: a control-theoretical approach, IEEE Transactions on Parallel and Distributed Systems, vol.13, issue.1, 2002.

L. De-alfaro and T. A. Henzinger, Interface automata, In: ACM SIGSOFT Software Engineering Notes. vol, vol.26, 2001.

R. Asadollahi, M. Salehie, and L. Tahvildari, StarMX: A framework for developing self-managing Java-based systems, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009.
DOI : 10.1109/SEAMS.2009.5069074

M. Berekmeri and D. Serrano, A Control Approach for Performance of Big Data Systems, Proceeding of the 2014 IFAC World Congress, 2014.
DOI : 10.3182/20140824-6-ZA-1003.01319

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

A. Beugnard, J. M. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, 1999.
DOI : 10.1109/2.774917

F. P. Brooks, No Silver Bullet Essence and Accidents of Software Engineering, Computer, vol.20, issue.4, 1987.
DOI : 10.1109/MC.1987.1663532

J. Cámara, R. De-lemos, N. Laranjeiro, R. Ventura, and M. Vieira, Robustness Evaluation of the Rainbow Framework for Self-Adaptation, Proceedings of the 29th Annual ACM Symposium on Applied Computing, 2014.

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, 2011.
DOI : 10.1145/1985793.1985852

URL : https://hal.archives-ouvertes.fr/inria-00537789

H. Chang and P. Collet, Fine-grained Contract Negotiation for Hierarchical Software Components, 31st EUROMICRO Conference on Software Engineering and Advanced Applications, 2005.
DOI : 10.1109/EUROMICRO.2005.27

B. H. Cheng, Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems, p.5525, 2008.
DOI : 10.1007/978-3-642-02161-9

S. W. Cheng, D. Garlan, and B. Schmerl, Evaluating the effectiveness of the Rainbow self-adaptive system, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009.
DOI : 10.1109/SEAMS.2009.5069082

P. Collet, A. Ozanne, and N. Rivierre, Enforcing Different Contracts in Hierarchical Component-Based Systems, 5th International Symposium on Software Composition, 2006.
DOI : 10.1007/11821946_4

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

P. Collet, J. Malenfant, A. Ozanne, and N. Rivierre, Composite Contract Enforcement in Hierarchical Component Systems, 6th International Symposium on Software Composition, 2007.
DOI : 10.1007/978-3-540-77351-1_3

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

S. Efftinge, M. Eysholdt, J. Köhnlein, S. Zarnekow, R. Von-massow et al., Xbase, Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE '12, 2012.
DOI : 10.1145/2371401.2371419

J. Eker, J. Janneck, E. Lee, J. Ludvig, S. Neuendorffer et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, 2003.
DOI : 10.1109/JPROC.2002.805829

A. Filieri, H. Hoffmann, and M. Maggio, Automated design of self-adaptive software with control-theoretical formal guarantees, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, 2014.
DOI : 10.1145/2568225.2568272

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

R. Hebig, H. Giese, and B. Becker, Making control loops explicit when architecting self-adaptive systems, Proceeding of the second international workshop on Self-organizing architectures, SOAR '10, 2010.
DOI : 10.1145/1809036.1809042

J. Hellerstein, Y. Diao, S. Parekh, and D. Tilbury, Feedback control of computing systems, 2004.
DOI : 10.1002/047166880X

J. L. Hellerstein, Engineering autonomic systems, Proceedings of the 6th international conference on Autonomic computing, ICAC '09, 2009.
DOI : 10.1145/1555228.1555254

C. Hewitt, Viewing control structures as patterns of passing messages, Artificial Intelligence, vol.8, issue.3, 1977.
DOI : 10.1016/0004-3702(77)90033-9

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

F. K?ikava, Domain-Specific Modeling Language for Self-Adaptive Software System Architectures, 2013.

F. K?ikava, P. Collet, and R. B. France, ACTRESS, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, 2014.
DOI : 10.1145/2554850.2555020

L. Traon, Y. Baudry, B. Jézéquel, and J. M. , Design by Contract to Improve Software Vigilance, IEEE Transactions on Software Engineering, vol.32, issue.8, 2006.
DOI : 10.1109/TSE.2006.79

URL : https://hal.archives-ouvertes.fr/inria-00542784

Y. Lu, T. Abdelzaher, C. Lu, and G. Tao, An adaptive control framework for QoS guarantees and its application to differentiated caching, 10th International Workshop on Quality of Service, 2002.

N. A. Lynch and M. R. Tuttle, Hierarchical correctness proofs for distributed algorithms, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, 1987.
DOI : 10.1145/41840.41852

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, 1992.
DOI : 10.1109/2.161279

B. Meyer, Object-oriented Software Construction, 1997.

B. Meyer, Toward More Expressive Contracts, Journal on Object Oriented Programming, vol.13, issue.4, 2000.

D. D. Niz, G. Bhatia, and R. Rajkumar, Model-Based Development of Embedded Systems: The SysWeaver Approach, 12th IEEE Real-Time and Embedded Technology and Applications Symposium, 2006.

M. Odersky, Contracts for Scala, Runtime Verification, vol.6418, 2010.
DOI : 10.1007/978-3-642-16612-9_5

P. Oreizy, D. S. Rosenblum, and R. N. Taylor, On the Role of Connectors in Modeling and Implementing Software Architectures, 1998.

P. Parizek, F. Plasil, and J. Kofron, Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, 2006 30th Annual IEEE/NASA Software Engineering Workshop, 2006.
DOI : 10.1109/SEW.2006.23

F. Plasil and S. Visnovsky, Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, 2002.
DOI : 10.1109/TSE.2002.1049404

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), 1977.
DOI : 10.1109/SFCS.1977.32

A. J. Ramirez and B. H. Cheng, Design patterns for developing dynamically adaptive systems, Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '10, 2010.
DOI : 10.1145/1808984.1808990

R. Rouvoy, P. Barone, Y. Ding, F. Eliassen, S. Hallsteinsen et al., MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments, MobMid '08: Proceedings of the 1st workshop on Mobile middleware, 2008.
DOI : 10.1007/978-3-540-76778-7_1

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

S. Sendall and W. Kozaczynski, Model transformation: The heart and soul of modeldriven software development. Software, IEEE, vol.20, 2003.

V. Stolz and E. Bodden, Temporal Assertions using AspectJ, Electronic Notes in Theoretical Computer Science, vol.144, issue.4, 2006.
DOI : 10.1016/j.entcs.2006.02.007

URL : http://doi.org/10.1016/j.entcs.2006.02.007

N. M. Villegas, H. A. Müller, G. Tamura, L. Duchien, and R. Casallas, A framework for evaluating quality-driven self-adaptive software systems, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, 2011.
DOI : 10.1145/1988008.1988020

URL : https://hal.archives-ouvertes.fr/inria-00578337

Y. Zhao, A Model of Computation with Push and Pull Processing, 2003.