1. Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1996)
2. Blau, S., Rooth, J.: AXD 301 - a new generation ATM switching system. Ericsson Review 1, 10–17 (1998)
3. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems 12(2), 239–256 (2006)
4. Bosse, T., Lam, D.N., Barber, K.S.: Automated analysis and verification of agent behavior. In: AAMAS 2006: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, pp. 1317–1319. ACM, New York (2006)
5. Chen, M., Dorer, K., Foroughi, E., Heintz, F., Huang, Z., Kapetanakis, S., Kostiadis, K., Kummeneje, J., Murray, J., Noda, I., Obst, O., Riley, P., Steffens, T., Wang, Y., Yin, X.: RoboCup Soccer Server. Manual for Soccer Server Version 7.07 and later (obtainable from sserver.sf.net) (2003)