Silvestrim, R., 		Trigo, F., 		Rocha, W., 		Vieira, M., 		Junior, J., 		Mendes, O., 		Menezes, R., & 		Cordeiro, L.
(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>, (pp. 85-90). Porto Alegre: SBC.