Silva, Carla, Jaelson F. B. Castro, and John Mylopoulos. " Detailing Architectural Design in Requirements Driven Software Development: The Tropos Case." Proceedings of the 17th Brazilian Symposium on Software Engineering, Manaus/AM, 2003. SBC, 2003, pp.79-94.