Specification and verification of multi-agent systems - Dastani, Mohammad Mehdi; Hindriks, Koen, 1971-; Meyer, J.-J. Ch., 1954- (Springer, 2010)