Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration. - Rafael G. Silvestrim; Felipe V. Trigo; Williame Rocha; Michael R. S. Vieira; Jogno V. Junior; Otoniel Da C. Mendes; Rafael Sá Menezes; Lucas C. Cordeiro (SBESC, 2023)