Wojciech Jamroga Aniello Murano Module Checking of Strategic Ability. 227-235 2015 AAMAS http://dl.acm.org/citation.cfm?id=2772911 conf/atal/2015 db/conf/atal/aamas2015.html#JamrogaM15