Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols