1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence 20(2-4), 133–157 (2006)
2. Lecture Notes in Artificial Intelligence;M. Baldoni,2005
3. Bentahar, J., Meyer, J.-J.C., Wan, W.: Model checking communicative agent-based systems. Knowledge-Based Systems, Special Issue on Intelligent Software Design 22(3), 142–159 (2009)
4. Bentahar, J., Labban, J.: An argumentation-driven model for flexible and efficient persuasive negotiation. Group Decision and Negotiation Journal (2009)
5. Cheng, Z.: Verifying commitment based business protocols and their compositions: Model checking using promela and spin. PhD thesis, North Carolina State University (2006)