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. [Online] :