Fleck, Ana, Guilherme Prudente da Silva, and Leandro Buss Becker.
" Verificação Formal de Código Fonte de Sistema Embarcado em um Veículo Aéreo Não Tripulado." <em>Anais Estendidos do XV Simpósio de Engenharia de Sistemas Computacionais,
Campinas/SP, 2025</em>. SBC, 2025,  
pp.45-48.