1. Timm, I.J., Scholz, T., Fürstenau, H.: From Testing to Theorem Proving. In: Kirn, S., et al. (eds.) Multiagent Engineering - Theory and Application in Enterprises, pp. 531–554. Springer, Berlin (2006)
2. Weiss, G.: Multiagent Systems – A Modern Approach to Distributed Artificial Intelligence. The MIT Press, Cambridge (1999)
3. Lecture Notes in Artificial Intelligence;P. Davidsson,2001
4. Gentile, M., Paolucci, M., Sacile, R.: Agent-Based Simulation. In: Paolucci, M., Sacile, R. (eds.) Agent-Based Manufacturing and Control Systems: new agile manufacturing solution for achieving peak performance, CRC Press, Boca Raton (2005)
5. Braubach, L., Pokahr, A., et al.: A Generic Simulation Service for Distributed Multi-Agent Systems. In: Trappl, R. (ed.) Cybernetics and Systems 2004, vol. 2, Vienna, Austria, pp. 576–581 (2004)