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