3 Paolo Bresciani Paolo Giorgini Fausto Giunchiglia John Mylopoulos Anna Perini 2001 Modeling early requirements in Tropos: a transformation based approach. Second International Workshop on Agent-Oriented Software Engineering (AOSE-2001) pub