The tropos methodology: An overview
Paolo Giorgini
Manuel Kolp
John Mylopoulos
Modelos para a Construção de Sistemas Multiagentes: Um Estudo de Caso em Sistemas Tutores Inteligentes