Ferreira, Mariana, and Bruno Lopes.
" Integrating tools to reason about Reo circuits." <em>Proceedings of the 3rd Brazilian Workshop of Logic,
Niterói, 2022</em>. SBC, 2022,  
pp.17-24.