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