Pierre Ganty Nicolas Maquet Jean-François Raskin Fixpoint Guided Abstraction Refinement for Alternating Automata. 155-164 2009 CIAA http://dx.doi.org/10.1007/978-3-642-02979-0_19 conf/wia/2009 db/conf/wia/ciaa2009.html#GantyMR09