Analysis and Verification of Multiple-Agent Languages - Dam, Mads., ed (Berlin Springer)