Lawrence Cabac Till Dörges Michael Duvigneau Daniel Moldt Requirements and Tools for the Debugging of Multi-Agent Systems. 238-247 2009 MATES http://dx.doi.org/10.1007/978-3-642-04143-3_26 conf/mates/2009 db/conf/mates/mates2009.html#CabacDDM09