Ferreira, Mariana, and Bruno Lopes. "Integrating tools to reason about Reo circuits." Anais do III Workshop Brasileiro de Lógica, Niterói, 2022. SBC, 2022, pp.17-24.