Verifying Multi-agent Programs by Model Checking - Bordini, Rafael H.; Fisher, Michael; Visser, Willem; Wooldridge, Michael (Autonomous agents and multi-agent systems, 2006)