Gabriel Farias, Marcos Maximo, and Rubens Afonso. 2025. Deriving Trajectory Tracking Requirements for a Small Size League Robot. In Anais do XVII Simpósio Brasileiro de Robótica e XVI Workshop de Robótica na Educação, outubro 13, 2025, Vitória/ES, Brasil. SBC, Porto Alegre, Brasil, 182-187.