E. Rocha, V. Silva, and A. Rodrigues.
" Formal Verification of Software for the Internet of Things with Application Validation in Kotlin/Java: Preliminary Systematic Mapping", in <em>Proceedings of the 1st Connect Tech Conference</em>, Itacoatiara/AM, 2024, pp. 62-66, doi: <a href="https://doi.org/10.5753/connect.2024.238553">https://doi.org/10.5753/connect.2024.238553</a>.