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. Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). [Online] :