Extending the Gaia Methodology for the Design and Development of Agent-based Software Systems | IEEE Conference Publication | IEEE Xplore