Rafael Silvestrim <em>et al. </em>2023.
 Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration. In <em>Proceedings of the 13th Brazilian Symposium on Computing Systems Engineering</em>, November 21, 2023, Porto Alegre/RS, Brasil. SBC, Porto Alegre, Brasil, 85-90.