Specification and verification of agent interaction using Abductive Reasoning