Cravo, D., & 		Ribeiro, L.
(2021).
Module Integration Using Graph Grammars (MIGRATE).
In <em>Anais do XXIV Simpósio Brasileiro de Métodos Formais</em>, (pp. 87-103). Porto Alegre: SBC.