D. Cravo and L. Ribeiro.
"Module Integration Using Graph Grammars (MIGRATE)", in <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, Campina Grande, 2021, pp. 87-103.