Erick Grillo and Bruno Lopes. 2019.
 Compilation of Certified Code for Reo Models. In <em>Proceedings of the 3rd Regional School on Informatics of Rio de Janeiro</em>, April 20, 2019, Niterói, Brasil. SBC, Porto Alegre, Brasil, 29-32.