Mailson Teles-Borges <em>et al. </em>2025.
 Towards a Software Toolkit for Specifying and Monitoring Smart Contracts in the Application Integration Domain. In <em>Actas del XXVIII Congresso Iberoamericano en Ingenieria de Software</em>, mayo 12, 2025, Ciudad Real/Espanha, Brasil. SBC, Porto Alegre, Brasil, 382-383. DOI: <a href="https://doi.org/10.5753/cibse.2025.35331">https://doi.org/10.5753/cibse.2025.35331</a>.