1. Abouaissa, H. et al.: Formal specification of multi-agent systems: approach based on meta-models and high-level petri nets-case study of a transportation system. In: Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics, vol. 5 (2002)
2. Anton, A.I.: Goal-based requirements analysis. In: Proceedings of the Second International Conference on Requirements Engineering, IEEE, pp. 136-144 (1996)
3. Decker, K., Li, J.: Coordinated hospital patient scheduling. In: Proceedings of the International Conference on Multi-Agent Systems, IEEE, pp. 104-111 (1998)
4. DiPipp, L.C. et al.: A real-time multi-agent system architecture for e-commerce applications. In: Proceedings of the 5th International Symposium on Autonomous Decentralized Systems, 2001. IEEE, pp. 357-364 (2001)
5. Easterbrook, S., Callahan, J.: Formal methods for verification and validation of partial specifications: a case study. J Syst. Softw. 40(3), 199–210 (1998)