M. Abi-antoun, J. Aldrich, D. Garlan, B. R. Schmerl, N. H. Nahas et al., Modeling and implementing software architecture with ACME and ArchJava, ICSE, pp.676-677, 2005.

M. Ajtai, J. Komlós, and E. Szemerédi, Sorting inc logn parallel steps, Combinatorica, vol.3, issue.1, pp.1-19, 1983.
DOI : 10.1007/BF02579338

J. Aldrich, C. Chambers, and D. Notkin, ArchJava, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.187-197, 2002.
DOI : 10.1145/581339.581365

A. Basu, P. Bidinger, M. Bozga, and J. Sifakis, Distributed Semantics and Implementation for Systems with Interaction and Priority, LNCS, vol.3, issue.1, pp.116-133, 2008.
DOI : 10.1007/978-3-540-30101-1_15
URL : https://hal.archives-ouvertes.fr/hal-00359261

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. Bliudze, M. Bozga, M. Jaber, J. Sifakis, E. Ic et al., Architecture internalisation in BIP, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, 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

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, A framework for automated distributed implementation of component-based models, Distributed Computing, vol.10, issue.2, pp.383-409, 2012.
DOI : 10.1007/s00446-012-0168-6
URL : https://hal.archives-ouvertes.fr/hal-00877995

M. Bozga, M. Jaber, N. Maris, and J. Sifakis, Modeling Dynamic Architectures Using Dy-BIP, Software Composition, 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 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

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

J. D. Hay and J. M. Atlee, Composing features and resolving interactions, SIGSOFT FSE, pp.110-119, 2000.
DOI : 10.1145/355045.355061

W. Thomas, K. Malone, and . Crowston, The interdisciplinary study of coordination, ACM Comput. Surv, vol.26, issue.1, pp.87-119, 1994.

F. Maraninchi and Y. Rémond, Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, pp.61-92, 2001.
DOI : 10.1016/S0096-0551(01)00016-9
URL : https://hal.archives-ouvertes.fr/hal-00273055

N. Medvidovic and R. N. Taylor, A framework for classifying and comparing architecture description languages, SIGSOFT ESEC/FSE, pp.60-76, 1997.

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

A. George, F. Papadopoulos, and . Arbab, Coordination models and languages, Advances in Computers, vol.46, pp.329-400, 1998.

G. A. Papadopoulos, A. Stavrou, and O. Papapetrou, An implementation framework for Software Architectures based on the coordination paradigm, Science of Computer Programming, vol.60, issue.1, pp.27-67, 2006.
DOI : 10.1016/j.scico.2005.06.002