Santos, M., 		Conserva Filho, M., & 		Sampaio, A.
2023 out  9.  A Model-based Approach to the Development and Verification of Robotic Systems for Competitions. Anais do Simpósio Brasileiro de Robótica e Simpósio Latino Americano de Robótica (SBR/LARS). [Online] :