G. Farias, M. Maximo, and R. Afonso. " 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, Vitória/ES, 2025, pp. 182-187.