G. Gössler, S. Graf, M. Majster-cederbaum, M. Martens, and J. Sifakis, Ensuring properties of interaction systems, Program analysis and compilation, 2007.

M. Baleani, A. Ferrari, L. Mangeruca, A. Sangiovanni-vincentelli, U. Freund et al., Correct-by-construction transformations across design environments for model-based embedded software development, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00181267

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, Automated conflict-free distributed implementation of component-based models, International Symposium on Industrial Embedded Systems, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00558046

M. Tounsi, M. Mosbah, and D. Méry, From Event-B Specifications to Programs for Distributed Algorithms, 22th IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00862056

D. Hirsch and U. Montanari, Consistent transformations for software architecture styles of distributed systems, Electronic Notes in Theoretical Computer Science, vol.28, pp.4-25, 2000.

C. Percebois, M. Strecker, and H. N. Tran, Rule-level verification of graph transformations for invariants based on edges' transitive closure, Software Engineering and Formal Methods, pp.106-121, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01178554

F. Oquendo, pi-arl: An architecture refinement language for formally modelling the stepwise refinement of software architectures, SIGSOFT Softw. Eng. Notes, vol.29, issue.5, pp.1-20, 2004.

G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformations, Foundations. World Scientific, vol.1, 1997.

M. Löwe, Algebraic approach to single-pushout graph transformation, Theoretical Computer Science, vol.109, issue.1â??2, pp.181-224, 1993.

D. Duval, R. Echahed, and F. Prost, Categorical abstract rewriting systems and functoriality of graph transformation, ECEASST, vol.41, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00828532

A. Rensink, Compositionality in graph transformation, Automata, Languages and Programming, pp.309-320, 2010.

A. Balogh and D. Varrã?, Pattern composition in graph transformation rules, European Workshop on Composition of Model Transformations, 2006.