Fleck, Ana, 		Silva, Guilherme, AND 		Becker, Leandro.
" Formal Verification of Embedded System Source Code in an Unmanned Aerial Vehicle" <em>Companion Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC)</em> [Online], (24 November 2025)