Specification and Verification of Multi-agent Systems - Dastani, Mehdi; Hindriks, Koen V.; Meyer, John-Jules Charles (Springer US, 2010)