Gabriel Farias, Marcos Maximo, and Rubens Afonso. 2025. Deriving Trajectory Tracking Requirements for a Small Size League Robot. In Proceedings of the 17th Brazilian Symposium of Robotics and the 16th Workshop on Robotics in Education, October 13, 2025, Vitória/ES, Brasil. SBC, Porto Alegre, Brasil, 182-187.