Mika Cohen Mads Dam Alessio Lomuscio Francesco Russo Abstraction in model checking multi-agent systems. 945-952 2009 AAMAS (2) http://doi.acm.org/10.1145/1558109.1558144 conf/atal/2009-2 db/conf/atal/aamas2009-2.html#CohenDLR09