L. Henrio, O. Kulankhina, D. Liu, and E. Madelaine, Verifying the correct composition of distributed components: Formalisation and Tool, Electronic Proceedings in Theoretical Computer Science, vol.175, 2014.
DOI : 10.4204/EPTCS.175.5
URL : https://hal.archives-ouvertes.fr/hal-01055370

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

F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov et al., GCM: a grid extension to Fractal for autonomous distributed components, annals of telecommunications - annales des t??l??communications, vol.36, issue.1, pp.5-24, 2009.
DOI : 10.1007/s12243-008-0068-8
URL : https://hal.archives-ouvertes.fr/inria-00323919

A. Cansado and E. Madelaine, Specification and verification for grid componentbased applications: from models to tools, Number 5751 in LNCS, pp.180-203, 2008.

L. Henrio, E. Madelaine, and M. Zhang, pNets: An Expressive Model for Parameterised Networks of Processes, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.492-496, 2015.
DOI : 10.1109/PDP.2015.70
URL : https://hal.archives-ouvertes.fr/hal-01139432

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

D. Dolev, M. M. Klawe, and M. Rodeh, An O(n log n) unidirectional distributed algorithm for extrema finding in a circle, Journal of Algorithms, vol.3, issue.3, pp.245-260, 1982.
DOI : 10.1016/0196-6774(82)90023-2

L. Henrio, O. Kulankhina, S. Li, and E. Madelaine, Integrated environment for verifying and running distributed components -Extended version, Research Report, vol.8841, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01252323

T. Barros, R. Ameur-boulifa, A. Cansado, L. Henrio, and E. Madelaine, Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, pp.25-43, 2009.
DOI : 10.1007/s12243-008-0069-7
URL : https://hal.archives-ouvertes.fr/inria-00268965

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

F. Lang, Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, 5th International Conference, IFM 2005, pp.70-88, 2005.
DOI : 10.1007/11589976_6
URL : https://hal.archives-ouvertes.fr/inria-00070339

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, 21st International Conference on Software Engineering, 1999.

A. Basu, B. 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. Childs, J. Greenwald, G. Jung, M. Hoosier, and J. Hatcliff, CALM and Cadena: Metamodeling for Component-Based Product-Line Development, Computer, vol.39, issue.2, pp.42-50, 2006.
DOI : 10.1109/MC.2006.51

R. Reussner, S. Becker, E. Burger, J. Happe, M. Hauck et al., The Palladio component model, 2011.

W. Leister, J. Bjork, R. Schlatte, and A. Griesmayer, Verifying distributed algorithms with executable Creol models, 2011.

I. Grabe, M. M. Jaghoori, B. K. Aichernig, C. Baier, T. Blechmann et al., Credo Methodology, Electronic Notes in Theoretical Computer Science, vol.266, pp.33-48, 2010.
DOI : 10.1016/j.entcs.2010.08.047

F. Arbab, A Behavioral Model for Composition of Software Components, L'objet, vol.12, issue.1, pp.33-76, 2006.
DOI : 10.3166/objet.12.1.33-76

P. Hn?tynka and F. Plá?il, Dynamic Reconfiguration and Access to Services in Hierarchical Component Models, Proceedings of the 9th int. conference on Component- Based Software Engineering. CBSE'06, 2006.
DOI : 10.1007/11783565_27

A. Klarl and R. Hennicker, Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework, 2014 23rd Australian Software Engineering Conference, pp.15-24, 2014.
DOI : 10.1109/ASWEC.2014.26

R. Hähnle, M. Helvensteijn, E. B. Johnsen, M. Lienhardt, D. Sangiorgi et al., HATS Abstract Behavioral Specification: The architectural view, Proc. 10th International Symposium on Formal Methods for Components and Objects, pp.109-132, 2011.

M. Sirjani, A. Movaghar, A. Shali, and F. S. De-boer, Modeling and verification of reactive systems using rebeca, Fundam. Inform, vol.63, issue.4, pp.385-410, 2004.

S. Burmester, H. Giese, M. Hirsch, and D. Schilling, Incremental design and formal verification with UML/RT in the FUJABA real-time tool suite, Proceedings of the International Workshop SVERTS, 2004.

R. Ameur-boulifa, R. Halalai, L. Henrio, and E. Madelaine, Verifying safety of faulttolerant distributed components, International Workshop on Formal Aspects of Component Software (FACS'11), 2011.
URL : https://hal.archives-ouvertes.fr/inria-00621264

N. Gaspar, L. Henrio, and E. Madelaine, Formally Reasoning on a Reconfigurable Component-Based System ??? A Case Study for the Industrial World, International Symposium on Formal Aspects of Component Software, 2013.
DOI : 10.1007/978-3-319-07602-7_10
URL : https://hal.archives-ouvertes.fr/hal-00916115

D. Caromel and L. Henrio, A Theory of Distributed Objects, 2005.