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>Anais do XV Simpósio Brasileiro de Robótica e XX Simpósio Latino Americano de Robótica</em>, outubro 09, 2023, Salvador/BA, Brasil. SBC, Porto Alegre, Brasil, 236-241.