Fleck, Ana, 		Silva, Guilherme, E 		Becker, Leandro.
" Verificação Formal de Código Fonte de Sistema Embarcado em um Veículo Aéreo Não Tripulado" <em>Anais Estendidos do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (24 novembro 2025)