1. Abran A, Bourque P, Dupuis R, Moore JW, Tripp LL (2004) Guide to the software engineering body of knowledge: SWEBOK. IEEE Press, Piscataway, 2004 version edition
2. Botía JA, Gómez-Sanz JJ, Pavón J (2006) Intelligent data analysis for the verification of multi-agent systems interactions. In: Corchado E, Yin H, Botti VJ, Fyfe C (eds) IDEAL. Lecture notes in computer science, vol 4224. Springer, pp 1207–1214
3. Caire G, Coulier W, Garijo FJ, Gómez-Sanz JJ, Pavón J, Leal F, Chainho P, Kearney PE, Stark J, Evans R, Massonet P (2001) Agent oriented analysis using message/uml. In: Wooldridge M, Weiß G, Ciancarini P (eds) AOSE. Lecture notes in computer science, vol 2222. Springer, pp 119–135
4. Cernuzzi L, Zambonelli F (2009) Gaia4e: a tool supporting the design of mas using gaia. In: Cordeiro J, Filipe J (eds) Proceedings of the 11th Internatinal Conference on Enterprise Information Systems, vol 4, pp 82–88
5. DeLoach SA, Wood MF (2000) Developing multi-agent systems with agenttool. In: Castelfranchi C, Lespérance Y (eds) ATAL. Lecture notes in computer science, vol 1986. Springer, pp 46–60