Grillo, E., & 		Lopes, B.
(2019).
 Compilation of Certified Code for Reo Models.
In <em>Proceedings of the 3rd Regional School on Informatics of Rio de Janeiro</em>, (pp. 29-32). Porto Alegre: SBC.