Case studies for contract-based systems

M. Jakob, M. Pechoucek, S. Miles, M. Luck, J. Ch·bera, N. Oren, M. Kollingbaum, C. Holt, J. V·zquez, P. Storms, M. Dehn., Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008): Industry Track, Estoril, Portugal, 2008, published by IFAAMAS., 2008, []