Fleck, Ana, Guilherme Prudente da Silva, and Leandro Buss Becker.
" Formal Verification of Embedded System Source Code in an Unmanned Aerial Vehicle." <em>Companion Proceedings of the 15th Symposium on Computing Systems Engineering,
Campinas/SP, 2025</em>. SBC, 2025,  
pp.45-48.