Specification and Verification of Multi-agent Systems - Dastani, Mehdi. (Springer US, 2010)