Cravo, D., & 		Ribeiro, L.
2021 dez  7.  Module Integration Using Graph Grammars (MIGRATE). Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :