Rafael Silvestrim <em>et al. </em>2023.
 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>, novembro 21, 2023, Porto Alegre/RS, Brasil. SBC, Porto Alegre, Brasil, 85-90.