Luca Cernuzzi Franco Zambonelli Gaia4E: A Tool Supporting the Design of MAS using Gaia. 82-88 2009 ICEIS (4) conf/iceis/2009-4 db/conf/iceis/iceis2009-4.html#CernuzziZ09