Pinto, Rosa, Silva, Carla, AND Castro, Jaelson. " Support for Requirement Traceability: The Tropos Case" Proceedings of the Brazilian Symposium on Software Engineering (SBES) [Online], (3 October 2005)