R. Ameur-boulifa, L. Henrio, E. Madelaine, and A. Savu, Behavioural semantics for asynchronous components, Journal of Logical and Algebraic Methods in Programming, vol.89, 2012.
DOI : 10.1016/j.jlamp.2017.02.003
URL : https://hal.archives-ouvertes.fr/hal-00761073

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

B. Berthomieu, J. P. Bodeveix, M. Filali, H. Garavel, F. Lang et al., The syntax and semantics of FIACRE, 2009.

T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1987.
DOI : 10.1016/0169-7552(87)90085-7

R. Rabéa-ameur-boulifa, L. Halalai, E. Henrio, and . Madelaine, Verifying safety of fault-tolerant distributed components, International Symposium on Formal Aspects of Component Software, 2011.

F. Boyer, O. Gruber, and D. Pous, Robust reconfigurations of component assemblies, 2013 35th International Conference on Software Engineering (ICSE), 2013.
DOI : 10.1109/ICSE.2013.6606547
URL : https://hal.archives-ouvertes.fr/hal-00966078

H. Manuel-aguilar-cornejo, R. Garavel, N. Mateescu, and . Palma, Specification and verification of a dynamic reconfiguration protocol for agent-based applications, DAIS, volume 198 of IFIP Conference Proceedings, pp.229-244, 2001.

N. Coste, H. Hermanns, E. Lantreibecq, and W. Serwe, Towards Performance Prediction of Compositional Models in Industrial GALS Designs, CAV, Lecture Notes in Computer Science, pp.204-218, 2009.
DOI : 10.1007/978-3-642-02658-4_18
URL : https://hal.archives-ouvertes.fr/inria-00381657

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Tools and Algorithms for the Construction and Analysis of Systems -TACAS 2011
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776

N. Gaspar, L. Henrio, and E. Madelaine, Bringing Coq into the World of GCM Distributed Applications, International Journal of Parallel Programming, vol.365, issue.1???2
DOI : 10.1007/s10766-013-0264-7
URL : https://hal.archives-ouvertes.fr/hal-00880533

P. Inverardi, H. Muccini, and P. Pelliccione, Charmy: An extensible tool for architectural analysis, ESEC-FSE'05, ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2005.

O. Kulankhina, A graphical specification environment for GCM component-based applications

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proceedings of the 15th international symposium on Formal Methods, FM '08, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

C. Sprenger, A verified model checker for the modal mu-calculus in coq, TACAS, 1998.