Cravo, Diogo, AND 		Ribeiro, Leila.
" Module Integration Using Graph Grammars (MIGRATE)" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (7 December 2021)