Santos, M., 		Conserva Filho, M., & 		Sampaio, A.
(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>, (pp. 236-241). Porto Alegre: SBC.