Specifying and analyzing early requirements in Tropos, Fuxman, A.; Liu, L.; Mylopoulos, J.; Pistore, M.; Roveri, M.; Traverso, P. , Requirements Engineering Journal, (2004)
 Export: Tagged XML BibTex

Agent-oriented modeling by interleaving formal and informal specification., Perini, A.; Pistore, M.; Roveri, M.; Susi, A. , Agent Oriented Software Engineering (AOSE-2003), 15/07/2003, Melbourne, Australia, (2003)
 Export: Tagged XML BibTex   Download:  AOSE03.pdf 

Specifying and Analyzing Early Requirements: Some Experimental Results., Fuxman, A.; Liu, L.; Mylopoulos, J.; Pistore, M.; Roveri, M. , RE-2003, the 11th IEEE International Requirements Engineering Conference, 08/09/2003, Monterey Bay, California U.S.A., (2003)
 Export: Tagged XML BibTex   Download:  RE03.pdf 

Tropos: A Framework for Requirements-Driven Software Development., Fuxman, A.; Kazhamiakin, R.; Pistore, M.; Roveri, M. , Trento, 2003, (2003)
 Export: Tagged XML BibTex   Download:  ftsem03.pdf