Evelim Rocha, Vandermi Silva, and Andrey Rodrigues. 2025.
 Formal Software Verification for the Internet of Things with Application Validation in Kotlin/Java. In <em>Proceedings of the 2nd ICET Technology Conference</em>, July 01, 2025, Itacoatiara/AM, Brasil. SBC, Porto Alegre, Brasil, 194-201. DOI: <a href="https://doi.org/10.5753/connect.2025.12111">https://doi.org/10.5753/connect.2025.12111</a>.