0 P. Bresciani P. Giorgini F. Giunchiglia J. Mylopoulos A. Perini 2004 TROPOS: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agents and Multi-Agent Systems Kluwer Academic Publishers pub