Specification and Verification of Multi-agent Systems - Dastani, Mehdi (Springer Science+Business Media, LLC, 2010)