M. Santos, M. Conserva Filho, and A. Sampaio.
" 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>, Salvador/BA, 2023, pp. 236-241.