A. Fleck, G. Silva, and L. Becker.
" 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>, Campinas/SP, 2025, pp. 45-48, doi: <a href="https://doi.org/10.5753/sbesc_estendido.2025.15314">https://doi.org/10.5753/sbesc_estendido.2025.15314</a>.