Michael Köster, Peter Lohmann. Abstraction for Model Checking Modular Interpreted Systems over ATL. In Louise A. Dennis, Olivier Boissier, Rafael H. Bordini, editors, Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers. Volume 7217 of Lecture Notes in Computer Science, pages 95-113, Springer, 2011. [doi]