T. Abdelzaher and N. Bhatti, Web server QoS management by adaptive content delivery, 7th International Workshop on Quality of Service, 1999.

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, 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.

M. Berekmeri and D. Serrano, A Control Approach for Performance of Big Data Systems, Proceeding of the 2014 IFAC World Congress, 2014.
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.
URL : https://hal.archives-ouvertes.fr/hal-02141773

F. P. Brooks, No Silver Bullet Essence and Accidents of Software Engineering, Computer, vol.20, issue.4, 1987.

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, 33rd International Conference on Software Engineering, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00537789

H. Chang and P. Collet, Fine-grained Contract Negotiation for Hierarchical Software Components, 31th EUROMICRO-SEAA Conference -CBSE Track, 2005.

B. H. Cheng, LLNC, vol.5525, 2008.

S. W. Cheng, D. Garlan, and B. Schmerl, Evaluating the effectiveness of the Rainbow self-adaptive system, 4th ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009.

P. Collet, A. Ozanne, and N. Rivierre, Enforcing Different Contracts in Hierarchical Component-Based Systems, 5th International Symposium on Software Composition, 2006.
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.
URL : https://hal.archives-ouvertes.fr/hal-01334910

S. Efftinge, M. Eysholdt, J. Köhnlein, S. Zarnekow, R. Von-massow et al., Xbase: implementing domain-specific languages for Java, Proceedings of the 11th International Conference on Generative Programming and Component Engineering, 2012.

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.

A. Filieri, H. Hoffmann, and M. Maggio, Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees, Proc. 36th International Conference on Software Engineering, 2014.

D. Garlan, S. Cheng, A. Huang, B. Schmerl, and P. Steenkiste, Rainbow: Architecture-Based Self Adaptation with Reusable Infrastructure, IEEE Computer, vol.37, issue.10, 2004.

R. Hebig, H. Giese, and B. Becker, Making control loops explicit when architecting self-adaptive systems, Proceeding of the second international workshop on Selforganizing architectures, 2010.

J. Hellerstein, Y. Diao, S. Parekh, and D. Tilbury, Feedback control of computing systems, 2004.

J. L. Hellerstein, Engineering Autonomic Systems, Proceedings of the 6th International Conference on Autonomic Computing, 2009.

C. Hewitt, Viewing control structures as patterns of passing messages, Artificial Intelligence, vol.8, issue.3, 1977.

G. J. Holzmann, Spin Model Checker, 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: Domain-Specific Modeling of Self-Adaptive Software Architectures, Proceedings of the 29th Annual ACM Symposium on Applied Computing, 2014.

Y. Le-traon, B. Baudry, and J. M. Jézéquel, Design by contract to improve software vigilance, IEEE Transactions on Software Engineering, vol.32, issue.8, 2006.
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, PODC'87: Proceedings of the 6th annual ACM Symposium on Principles of Distributed Computing, 1987.
DOI : 10.1145/41840.41852
URL : http://www.markrtuttle.com/papers/lt87-podc.pdf

B. Meyer, Applying 'design by contract', Computer, vol.25, 1992.
DOI : 10.1109/2.161279
URL : http://www.inf.ethz.ch/~meyer/publications/computer/contract.pdf

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.

, Object Management Group: OMG Object Constraint Language (OCL)

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.

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, 1977.

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, 2010.
DOI : 10.1145/1808984.1808990
URL : http://www.cse.msu.edu/~mckinley/Pubs/files/design-patterns-2010.pdf

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.

M. Salehie and L. Tahvildari, Self-adaptive software: Landscape and research challenges, ACM Transactions on Autonomous and Adaptive Systems, vol.4, issue.2, 2009.

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

V. Stolz and E. Bodden, Temporal Assertions using, AspectJ. Electronic Notes in Theoretical Computer Science, vol.144, 2006.

N. M. Villegas, H. A. Müller, G. Tamura, L. Duchien, and R. Casallas, A framework for evaluating quality-driven self-adaptive software systems, 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00578337

Y. Zhao, A Model of Computation with Push and Pull Processing, Technical Memorandum UCB/ERL M03/51, 2003.