Diogo Cravo and Leila Ribeiro. 2021.
 Module Integration Using Graph Grammars (MIGRATE). In <em>Proceedings of the 24th Brazilian Symposium on Formal Methods</em>, December 07, 2021, Campina Grande, Brasil. SBC, Porto Alegre, Brasil, 87-103.