Cravo, D., & 		Ribeiro, L.
(2021).
 Module Integration Using Graph Grammars (MIGRATE).
In <em>Proceedings of the 24th Brazilian Symposium on Formal Methods</em>, (pp. 87-103). Porto Alegre: SBC.