SILVESTRIM, Rafael G.; 						TRIGO, Felipe V.; 						ROCHA, Williame; 						VIEIRA, Michael R. S.; 						JUNIOR, Jogno V.; 						MENDES, Otoniel Da C.; 						MENEZES, Rafael Sá; 						CORDEIRO, Lucas C..
 Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration. <em>In</em>: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SISTEMAS COMPUTACIONAIS (SBESC), 13.	, 2023, Porto Alegre/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2023
.
 p. 85-90. 
			ISSN 2237-5430.