Pinto, Rosa, Carla Silva, and Jaelson Castro.
"Support for Requirement Traceability: The Tropos Case." <em>Anais do XIX Simpósio Brasileiro de Engenharia de Software,
Uberlândia/MG, 2005</em>. SBC, 2005,  
pp.40-55.