Santos, Marcus, 		Conserva Filho, Madiel, E 		Sampaio, Augusto.
" A Model-based Approach to the Development and Verification of Robotic Systems for Competitions" <em>Anais do Simpósio Brasileiro de Robótica e Simpósio Latino Americano de Robótica (SBR/LARS)</em> [Online], (9 outubro 2023)