Fleck, A., 		Silva, G., & 		Becker, L.
2025 nov 24.  Verificação Formal de Código Fonte de Sistema Embarcado em um Veículo Aéreo Não Tripulado. Anais Estendidos do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :