Developing multiagent systems: The Gaia methodology
Agent-based software engineering