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

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

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

L. Henrio, F. Kammüller, and M. Khan, A Framework for Reasoning on Component Composition, FMCO 2009, 2010.
DOI : 10.1007/3-540-45949-9
URL : https://hal.archives-ouvertes.fr/inria-00490380

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