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