Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain

F. Meneguzzi, S. Modgil, N. Oren, S. Miles, M. Luck, N. Faci, C. Holt, and M. Smith., Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009): Industry Track, Budapest, Hungary, May 2009, published by IFAAMAS., 2009, []