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

T. Barros, A. Cansado, E. Madelaine, and M. Rivera, Model-checking Distributed Components: The Vercors Platform, Electronic Notes in Theoretical Computer Science, vol.182, pp.3-16, 2007.
DOI : 10.1016/j.entcs.2006.09.028
URL : https://hal.archives-ouvertes.fr/inria-00091569

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

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

F. Baude, L. Henrio, and P. Naoumenko, Structural Reconfiguration: An Autonomic Strategy for GCM Components, 2009 Fifth International Conference on Autonomic and Autonomous Systems, p.2009, 2009.
DOI : 10.1109/ICAS.2009.28

Y. Bertot, Coq in a hurry CoRR abs, p.603118, 2006.

R. A. Boulifa, R. Halalai, L. Henrio, and E. Madelaine, Verifying safety of fault-tolerant distributed components, International Symposium on Formal Aspects of Component Software Lecture Notes in Computer Science, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00621264

E. Bruneton, T. Coupaye, and J. B. Stefani, The fractal component model, 2004.

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., The Maude 2.0 System, Rewriting Techniques and Applications (RTA 2003), no. 2706 in Lecture Notes in Computer Science, pp.76-87, 2003.
DOI : 10.1007/3-540-44881-0_7

P. C. David, T. Ledoux, M. Léger, and T. Coupaye, FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures, annals of telecommunications - annales des t??l??communications, vol.7, issue.3, pp.45-63, 2009.
DOI : 10.1007/s12243-008-0073-y
URL : https://hal.archives-ouvertes.fr/hal-00468474

N. Gaspar and E. Madelaine, Fractaì a la Coq, Conférence en IngénieriE du Logiciel, 2012.

L. Henrio, F. Kammüller, and M. U. Khan, A Framework for Reasoning on Component Composition, Lecture Notes in Computer Science, vol.96, issue.1, 2009.
DOI : 10.1007/3-540-45949-9
URL : https://hal.archives-ouvertes.fr/inria-00490380

L. Henrio and M. Rivera, Stopping safely hierarchical distributed components, Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance, CBHPC '08, pp.1-11, 2008.
DOI : 10.1145/1456190.1456201

P. Hnetynka and F. Plasil, Dynamic Reconfiguration and Access to Services in Hierarchical Component Models, Proceedings of CBSE 2006, pp.352-359, 2006.
DOI : 10.1007/11783565_27

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

E. B. Johnsen, O. Owe, and I. C. Yu, Creol: A type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, vol.365, issue.1-2, pp.1-2, 2006.
DOI : 10.1016/j.tcs.2006.07.031

P. Merle and J. B. Stefani, A formal specification of the Fractal component model in Alloy, INRIA, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00338987

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