Specification and verification of multi-agent systems - Dastani, Mehdi; Hindriks, Koen V.; Meyer, John-Jules Charles (Springer, 2010)