Cravo, Diogo, E 		Ribeiro, Leila.
" Module Integration Using Graph Grammars (MIGRATE)" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (7 dezembro 2021)