3 Morandini, M. Penserini, L. Perini, A. Susi, A. 2008 Refining Goal Models by Evaluating System Behaviour Luck, Michael and Padgham, Lin 8th International Workshop on Agent Oriented Software Engineering (AOSE '07) Springer 4951 44--57 LNCS 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 2007