Ana Fleck, Guilherme Silva, and Leandro Becker. 2025.
 Formal Verification of Embedded System Source Code in an Unmanned Aerial Vehicle. In <em>Companion Proceedings of the 15th Symposium on Computing Systems Engineering</em>, November 24, 2025, Campinas/SP, Brasil. SBC, Porto Alegre, Brasil, 45-48. DOI: <a href="https://doi.org/10.5753/sbesc_estendido.2025.15314">https://doi.org/10.5753/sbesc_estendido.2025.15314</a>.