R. Silvestrim <em>et al.</em>" Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration", in <em>Anais do XIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, Porto Alegre/RS, 2023, pp. 85-90.