Matteo Slanina Henny B. Sipma Zohar Manna Proving ATL* Properties of Infinite-State Systems. 242-256 2006 conf/ictac/2006 ICTAC http://dx.doi.org/10.1007/11921240_17 db/conf/ictac/ictac2006.html#SlaninaSM06