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