Frank Guerin, Jeremy Pitt. Verification and Compliance Testing. In Marc-Philippe Huget, editor, Communication in Multiagent Systems, Agent Communication Languages and Conversation Polocies. Volume 2650 of Lecture Notes in Computer Science, pages 98-112, Springer, 2003. [doi]
Abstract is missing.