. Boulanger, SCADE: Language and Applications, 2015.

P. Attie, E. Baranov, S. Bliudze, M. Jaber, and J. Sifakis, A general framework for architecture composability, 12th International Conference on Software Engineering and Formal Methods, pp.128-143, 2014.
DOI : 10.1007/978-3-319-10431-7_10
URL : https://infoscience.epfl.ch/record/196536/files/architectures-tr.pdf

P. Attie, E. Baranov, S. Bliudze, M. Jaber, and J. Sifakis, A general framework for architecture composability, Formal Aspects of Computing, vol.18, issue.2, pp.207-231, 2016.
DOI : 10.1007/978-3-319-10431-7_10
URL : https://infoscience.epfl.ch/record/196536/files/architectures-tr.pdf

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, issue.0, pp.2-35, 2015.

E. Baranov and S. Bliudze, A note on the expressiveness of BIP, Proceedings of the Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, vol.222, pp.1-14, 2016.

T. Basten, Branching bisimilarity is an equivalence indeed!, Information Processing Letters, vol.58, issue.3, pp.141-147, 1996.
DOI : 10.1016/0020-0190(96)00034-8

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

A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous real-time components in BIP, th IEEE Int. Conf. on Software Engineering and Formal Methods (SEFM06), pp.3-12, 2006.
DOI : 10.1109/sefm.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

S. Bliudze, A. Mavridou, R. Szymanek, and A. Zolotukhina, Exogenous coordination of concurrent software components with, JavaBIP. Software: Practice and Experience, vol.47, issue.11, pp.1801-1836, 2017.
DOI : 10.1002/spe.2495

S. Bliudze and J. Sifakis, The algebra of connectors -Structuring interaction in BIP, Proc. of the EMSOFT'07, pp.11-20, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00282866

S. Bliudze and J. Sifakis, A notion of glue expressiveness for component-based systems, CONCUR 2008, vol.5201, pp.508-522, 2008.

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

S. Bliudze and J. Sifakis, Synthesizing glue operators from glue constraints for the construction of component-based systems, 10 th International Conference on Software Composition, vol.6708, pp.51-67, 2011.

S. Bliudze, J. Sifakis, M. D. Bozga, and M. Jaber, Architecture internalisation in BIP, Proceedings of the 17th International ACM Sigsoft Symposium on Component-based Software Engineering, pp.169-178, 2014.
DOI : 10.1145/2602458.2602477
URL : https://hal.archives-ouvertes.fr/hal-01213681

B. Bloom, Ready simulation, bisimulation, and the semantics of CCS-like languages, 1989.

R. Bruni, I. Lanese, and U. Montanari, A basic algebra of stateless connectors, Theor. Comput. Sci, vol.366, issue.1, pp.98-120, 2006.

R. Bruni, H. Melgratti, and U. Montanari, Connector algebras, petri nets, and bip, Perspectives of Systems Informatics, vol.7162, pp.19-38, 2012.

M. Dezani-ciancaglini and U. De'liguoro, Sessions and session types: An overview, Web Services and Formal Methods: 6th International Workshop, pp.1-28, 2009.

K. Dokter, S. T. Jongmans, F. Arbab, and S. Bliudze, Relating BIP and reo, Proceedings 8th Interaction and Concurrency Experience, vol.189, pp.3-20, 2015.

J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu et al., Taming heterogeneity: The Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, pp.127-144, 2003.

M. Felleisen, On the expressive power of programming languages, 3 rd European Symposium on Programming (ESOP'90), vol.432, pp.134-151, 1990.

R. J. Van-glabbeek, Musings on encodings and expressiveness, Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, vol.89, pp.81-98, 2012.

D. Gorla, Towards a unified approach to encodability and separation results for process calculi, Information and Computation, vol.208, issue.9, pp.1031-1053, 2010.

G. Gößler and J. Sifakis, Formal Methods for Components and Objects, Second International Symposium, vol.3188, pp.314-329, 2003.

G. Gössler and J. Sifakis, Composition for component-based modeling, Formal Methods for Components and Objects: Pragmatic aspects and applications, vol.55, pp.161-183, 2005.

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, Programming Languages and Systems, vol.1381, pp.122-138, 1998.

H. Hüttel, I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone et al., Foundations of session types and behavioural contracts, ACM Comput. Surv, vol.49, issue.1, p.36, 2016.

A. Mavridou, E. Stachtiari, S. Bliudze, A. Ivanov, P. Katsaros et al., Architecturebased design: A satellite on-board software case study, 13th International Conference on Formal Aspects of Component Software (FACS 2016), vol.10231, pp.260-279, 2016.

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

M. Mousavi, I. Phillips, M. A. Reniers, and I. Ulidowski, Semantics and expressiveness of ordered SOS, Information and Computation, vol.207, pp.85-119, 2009.

M. Mousavi, M. A. Reniers, and J. F. Groote, SOS formats and meta-theory: 20 years after, Theoretical Computer Science, vol.373, issue.3, pp.238-272, 2007.

D. M. Park, Concurrency and automata on infinite sequences, Proceedings of the 5th GI-Conference on Theoretical Computer Science pp, pp.167-183, 1981.

G. D. Plotkin, A structural approach to operational semantics, 1981.

J. J. Rutten, Universal coalgebra: a theory of systems, Theor. Comput. Sci, vol.249, issue.1, pp.56-62, 2000.

J. Sifakis, A framework for component-based construction, rd IEEE Int, p.3

, Keynote talk, Software Engineering and Formal Methods (SEFM05), pp.293-300, 2005.

P. Sobocinski, A non-interleaving process calculus for multi-party synchronisation, ICE, EPTCS, vol.12, pp.87-98, 2009.

E. Stachtiari, A. Mavridou, P. Katsaros, S. Bliudze, and J. Sifakis, Early validation of system requirements and design through correctness-by-construction, Journal of Systems and Software, vol.145, pp.52-78, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01873999