Distributed BDD-based BMC for the verification of multi-agent systems - Jones, AV; Lomuscio, A (2010)