K. Altisen, F. Maraninchi, and D. Stauch, Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework, Science of Computer Programming, vol.63, issue.3, pp.297-320, 2006.
DOI : 10.1016/j.scico.2005.12.001

A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

S. Bliudze and J. Sifakis, A Notion of Glue Expressiveness for Component-Based Systems, Proc. of the 19th Int. Conf. on Concurrency Theory, pp.508-522, 2008.
DOI : 10.1007/978-3-540-85361-9_39

M. Bozga, M. Jaber, and J. Sifakis, Source-to-Source Architecture Transformation for Performance Optimization in BIP, IEEE Transactions on Industrial Informatics, vol.6, issue.4, pp.708-718, 2010.
DOI : 10.1109/TII.2010.2069102
URL : https://hal.archives-ouvertes.fr/hal-00722520

K. Czarnecki, U. W. Eisenecker, and P. Steyaert, Beyond objects: Generative programming, The 23rd Int. Conf. On Software Engineering, pp.5-14, 1997.
DOI : 10.1007/3-540-36208-8_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.6297

P. David and T. Ledoux, An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components, Proc. of 5th Int. Symposium on Software Composition, pp.82-97, 2006.
DOI : 10.1007/11821946_6
URL : https://hal.archives-ouvertes.fr/hal-00457130

J. Dihego and A. Sampaio, Aspect-oriented development of trustworthy componentbased systems, Proc. of Theoretical Aspects of Computing, pp.425-444, 2015.

S. D. Djoko, R. Douence, and P. Fradet, Aspects preserving properties, Science of Computer Programming, vol.77, issue.3, pp.393-422, 2012.
DOI : 10.1016/j.scico.2011.10.010
URL : https://hal.archives-ouvertes.fr/inria-00449851

F. Duclos, J. Estublier, and P. Morat, Describing and using non functional aspects in component based applications, Proceedings of the 1st international conference on Aspect-oriented software development , AOSD '02, pp.65-75, 2002.
DOI : 10.1145/508386.508394

Y. Falcone, K. Havelund, and G. Reger, A tutorial on runtime verification, In: Engineering Dependable Software Systems, vol.34, pp.141-175, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00853727

Y. Falcone and M. Jaber, Fully automated runtime enforcement of component-based systems with formal and sound recovery, International Journal on Software Tools for Technology Transfer, vol.3, issue.1, pp.1-25, 2016.
DOI : 10.1007/s10009-016-0413-6
URL : https://hal.archives-ouvertes.fr/hal-01262658

Y. Falcone, M. Jaber, T. Nguyen, M. Bozga, and S. Bensalem, Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation, Software & Systems Modeling, vol.40, issue.1, pp.173-199, 2015.
DOI : 10.1007/s10270-013-0323-y
URL : https://hal.archives-ouvertes.fr/hal-00972566

C. A. Hoare, Communicating Sequential Processes, 1985.

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

S. Katz, Aspect Categories and Classes of Temporal Properties, pp.106-134, 2006.
DOI : 10.1145/1018203.1018208

S. Katz and D. Faitelson, The common aspect proof environment, International Journal on Software Tools for Technology Transfer, vol.10, issue.2, pp.41-52, 2012.
DOI : 10.1007/s10009-011-0191-0

K. J. Lieberherr and I. M. Holland, Formulations and benefits of the law of demeter, ACM SIGPLAN Notices, vol.24, issue.3, pp.67-78, 1989.
DOI : 10.1145/66083.66089

K. J. Lieberherr, D. H. Lorenz, and J. Ovlinger, Aspectual Collaborations: Combining Modules and Aspects, The Computer Journal, vol.46, issue.5, pp.542-565, 2003.
DOI : 10.1093/comjnl/46.5.542

M. Noureddine, M. Jaber, S. Bliudze, and F. A. Zaraket, Reduction and Abstraction Techniques for BIP, Proc. of the 11th Int. Symposium on Formal Aspects of Component Software, pp.288-305, 2014.
DOI : 10.1007/978-3-319-15317-9_18

N. Pessemier, L. Seinturier, L. Duchien, and T. Coupaye, A component-based and aspect-oriented model for software evolution, International Journal of Computer Applications in Technology, vol.31, issue.1/2, pp.94-105, 2008.
DOI : 10.1504/IJCAT.2008.017722
URL : https://hal.archives-ouvertes.fr/inria-00269895

P. Tarr and H. Ossher, Hyper/J: Multi-dimensional separation of concerns for Java, Proc. of the 23rd Int. Conf. on Software Engineering, pp.729-730, 2001.