Silvestrim, Rafael, 		Trigo, Felipe, 		Rocha, Williame, 		Vieira, Michael, 		Junior, Jogno, 		Mendes, Otoniel, 		Menezes, Rafael, E 		Cordeiro, Lucas.
" Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (21 novembro 2023)