Silvestrim, Rafael, Felipe V. Trigo, Williame Rocha, Michael R. S. Vieira, Jogno V. Junior, Otoniel Da C. Mendes, Rafael Sá Menezes, and Lucas C. Cordeiro.
" Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration." <em>Anais do XIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Porto Alegre/RS, 2023</em>. SBC, 2023,  
pp.85-90.