Fausto Giunchiglia John Mylopoulos Anna Perini The tropos software development methodology: processes, models and diagrams. 35-36 2002 conf/atal/2002 AAMAS http://doi.acm.org/10.1145/544741.544748 db/conf/atal/aamas2002.html#GiunchigliaMP02