Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications - Lomuscio,A; Michaliszyn,J (ACM, 2016)