Santos, Marcus, Conserva Filho, Madiel, AND Sampaio, Augusto. " A Model-based Approach to the Development and Verification of Robotic Systems for Competitions" Proceedings of the Brazilian Symposium on Robotics and Latin American Robotics Symposium (SBR/LARS) [Online], (9 October 2023)