Ana Fleck, Guilherme Silva, and Leandro Becker. 2025.
 Verificação Formal de Código Fonte de Sistema Embarcado em um Veículo Aéreo Não Tripulado. In <em>Anais Estendidos do XV Simpósio de Engenharia de Sistemas Computacionais</em>, novembro 24, 2025, Campinas/SP, Brasil. SBC, Porto Alegre, Brasil, 45-48. DOI: <a href="https://doi.org/10.5753/sbesc_estendido.2025.15314">https://doi.org/10.5753/sbesc_estendido.2025.15314</a>.