Santos, Marcus, Madiel Conserva Filho, and Augusto Sampaio.
" A Model-based Approach to the Development and Verification of Robotic Systems for Competitions." <em>Anais do XV Simpósio Brasileiro de Robótica e XX Simpósio Latino Americano de Robótica,
Salvador/BA, 2023</em>. SBC, 2023,  
pp.236-241.