Silvestrim, R., 		Trigo, F., 		Rocha, W., 		Vieira, M., 		Junior, J., 		Mendes, O., 		Menezes, R., & 		Cordeiro, L.
2023 nov 21.  Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :