M. Santos, M. Conserva Filho, and A. Sampaio.
" A Model-based Approach to the Development and Verification of Robotic Systems for Competitions", in <em>Proceedings of the 15th Brazilian Symposium on Robotics and 20th Latin American Robotics Symposium</em>, Salvador/BA, 2023, pp. 236-241.