Agent-based Refinement for Predicate Abstraction of Multi-Agent Systems - Belardinelli,F; Lomuscio,A; Michaliszyn,J (IOS Press, 2016)