3 P. Bresciani P. Giorgini 2002 The TROPOS Analysis Process as Graph Transformation System. Workshop on Agent-oriented methodologies (2002) Seattle, USA