R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, 1st International Conference on Fundamental Approaches to Software Engineering (FASE), volume 1382 of LNCS, pp.21-37, 1998.
DOI : 10.1007/BFb0053581
URL : https://link.springer.com/content/pdf/10.1007%2FBFb0053581.pdf

F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

L. Astefanoaei, S. B. Rayana, S. Bensalem, M. Bozga, and J. Combaz, Compositional invariant generation for timed systems, 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp.263-278
URL : https://hal.archives-ouvertes.fr/hal-01864717

P. Attie, E. Baranov, S. Bliudze, M. Jaber, and J. Sifakis, General framework for architecture composability, 12th International Conference on Software Engineering and Formal Methods (SEFM), number 8702 in LNCS, pp.128-143, 2014.

E. Baranov and S. Bliudze, Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP, Science of Computer Programming, vol.109, 2014.
DOI : 10.1016/j.scico.2015.05.011

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

S. Bensalem, M. Bozga, B. Boyer, and A. Legay, Incremental Generation of Linear Invariants for Component-Based Systems, 2013 13th International Conference on Application of Concurrency to System Design, pp.80-89, 2013.
DOI : 10.1109/ACSD.2013.11
URL : https://hal.archives-ouvertes.fr/hal-00878738

S. Bensalem, M. Bozga, A. Legay, T. Nguyen, J. Sifakis et al., Incremental component-based construction and verification using invariants, 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp.257-256, 2010.
DOI : 10.1007/s10270-014-0410-8
URL : https://hal.archives-ouvertes.fr/hal-00557802

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, D-Finder: A Tool for Compositional Deadlock Detection and Verification, 21st International Conference on Computer Aided Verification (CAV), pp.614-619, 2009.
DOI : 10.1007/11817963_11
URL : https://hal.archives-ouvertes.fr/hal-00722550

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, Compositional verification for component-based systems and application, IET Software, vol.4, issue.3, pp.181-193, 2010.
DOI : 10.1049/iet-sen.2009.0011
URL : https://hal.archives-ouvertes.fr/hal-00359303

S. Bensalem, M. Bozga, J. Sifakis, and T. Nguyen, Compositional verification for component-based systems and application, Automated Technology for Verification and Analysis, 6th International Symposium (ATVA), pp.64-79, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00359303

S. Bensalem, A. Griesmayer, A. Legay, T. Nguyen, and D. Peled, Efficient deadlock detection for concurrent systems, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011), pp.119-129, 2011.
DOI : 10.1109/MEMCOD.2011.5970518

S. Bliudze, Towards a Theory of Glue, 5th International Conference on Interaction and Concurrency Experience (ICE), pp.48-66, 2012.
DOI : 10.1007/3-540-61052-9

S. Bliudze and J. Sifakis, The Algebra of Connectors???Structuring Interaction in BIP, 7th ACM & IEEE International Conference on Embedded Software (EMSOFT), pp.11-20, 2007.
DOI : 10.1109/TC.2008.26
URL : https://hal.archives-ouvertes.fr/hal-00282866

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

S. Bliudze and J. Sifakis, Causal semantics for the algebra of connectors. Formal Methods in System Design, pp.167-194, 2010.

S. Bliudze, J. Sifakis, M. Bozga, and M. Jaber, Architecture internalisation in BIP, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.169-178, 2014.
DOI : 10.1145/2602458.2602477
URL : https://hal.archives-ouvertes.fr/hal-01213681

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, From high-level component-based models to distributed implementations, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.209-218, 2010.
DOI : 10.1145/1879021.1879049
URL : https://hal.archives-ouvertes.fr/hal-00557792

M. Bozga, M. Jaber, N. Maris, and J. Sifakis, Modeling Dynamic Architectures Using Dy-BIP, 11th International Conference on Software Composition (SC), pp.1-16, 2012.
DOI : 10.1007/978-3-642-30564-1_1
URL : https://hal.archives-ouvertes.fr/hal-00722481

M. Bozga, M. Jaber, and J. Sifakis, Source-to-source architecture transformation for performance optimization in BIP, IEEE International Symposium on Industrial Embedded Systems (SIES), pp.152-160, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00722549

R. Bruni, H. Melgratti, and U. Montanari, Behaviour, Interaction and Dynamics, Specification, Algebra, and Software, pp.382-401, 2014.
DOI : 10.1016/j.jlap.2006.05.006

D. Dhungana, R. Rabiser, P. Grünbacher, H. Prähofer, C. Federspiel et al., Architectural Knowledge in Product Line Engineering: An Industrial Case Stu, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06), pp.186-197, 2006.
DOI : 10.1109/EUROMICRO.2006.21

D. D. Souza and M. Gopinathan, Conflict-tolerant features, 20st International Conference on Computer Aided Verification (CAV), pp.227-239, 2008.

J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

E. Fares, J. Bodeveix, and M. Filali, Event algebra for transition systems composition -application to timed automata, 20th International Symposium on Temporal Representation and Reasoning (TIME), pp.125-132, 2013.
DOI : 10.1109/time.2013.23
URL : https://hal.archives-ouvertes.fr/hal-01220607

C. A. Hoare, Communicating Sequential Processes, International Series in Computer Science, 1985.

I. Iec, Information technology ? Object Management Group ? Object Constraint Language (OCL), 2012.

I. Ieee, Systems and software engineering ? Architecture description, 2011.

C. Koehler, A. Lazovik, and F. Arbab, Connector Rewriting with High-Level Replacement Systems, Electronic Notes in Theoretical Computer Science, vol.194, issue.4, pp.77-92, 2008.
DOI : 10.1016/j.entcs.2008.03.100
URL : https://doi.org/10.1016/j.entcs.2008.03.100

A. Kumar, Software Architecture Styles: A Survey, International Journal of Computer Applications, vol.87, issue.9, p.2014
DOI : 10.5120/15234-3768
URL : https://doi.org/10.5120/15234-3768

Y. Lustig and M. Vardi, Synthesis from component libraries, International Journal on Software Tools for Technology Transfer, vol.15, pp.5-6603, 2013.
DOI : 10.1007/978-3-642-00596-1_28
URL : https://link.springer.com/content/pdf/10.1007%2F978-3-642-00596-1_28.pdf

D. L. Metayer, Describing software architecture styles using graph grammars, IEEE Transactions on Software Engineering, vol.24, issue.7, pp.521-533, 1998.
DOI : 10.1109/32.708567

R. Milner, Calculi for synchrony and asynchrony, Theoretical Computer Science, vol.25, issue.3, pp.267-310, 1983.
DOI : 10.1016/0304-3975(83)90114-7
URL : https://doi.org/10.1016/0304-3975(83)90114-7

R. Milner, Communication and Concurrency. Prentice Hall International Series in Computer Science, 1989.

R. Milner, Communicating and Mobile Systems: The ?-calculus, 1999.

G. A. Papadopoulos and F. Arbab, Configuration and dynamic reconfiguration of components using the coordination paradigm, Future Generation Computer Systems, vol.17, issue.8, pp.1023-1038, 2001.
DOI : 10.1016/S0167-739X(01)00043-7

M. Plath and M. Ryan, Feature integration using a feature construct, Science of Computer Programming, vol.41, issue.1, pp.53-84, 2001.
DOI : 10.1016/S0167-6423(00)00018-6
URL : https://doi.org/10.1016/s0167-6423(00)00018-6

G. D. Plotkin, A structural approach to operational semantics, J. Log. Algebr. Program, pp.60-6117, 2004.