Santos, Marcus, Madiel Conserva Filho, and Augusto Sampaio.
" A Model-based Approach to the Development and Verification of Robotic Systems for Competitions." <em>Proceedings of the 15th Brazilian Symposium on Robotics and 20th Latin American Robotics Symposium,
Salvador/BA, 2023</em>. SBC, 2023,  
pp.236-241.