1
Specification and Verification of Multi-agent Systems [E-Book] /