Clara Benac Earle Lars-Åke Fredlund Debugging and Verification of Multi-Agent Systems. 263-270 2009 EUROCAST http://dx.doi.org/10.1007/978-3-642-04772-5_35 conf/eurocast/2009 db/conf/eurocast/eurocast2009.html#EarleF09