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