Cravo, D., & 		Ribeiro, L.
2021 Dec  7.  Module Integration Using Graph Grammars (MIGRATE). Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :