Evelim Rocha, Vandermi Silva, and Andrey Rodrigues. 2024.
 Verificação Formal de Software para Internet das Coisas com Validação de Aplicações em Kotlin/Java: Mapeamento Sistemático Preliminar. In <em>Anais da I Conferência Connect Tech</em>, fevereiro 20, 2024, Itacoatiara/AM, Brasil. SBC, Porto Alegre, Brasil, 62-66. DOI: <a href="https://doi.org/10.5753/connect.2024.238553">https://doi.org/10.5753/connect.2024.238553</a>.