Zhiyong Zhang John Thangarajah Lin Padgham Model based testing for agent systems. 1333-1334 2009 AAMAS (2) http://doi.acm.org/10.1145/1558109.1558280 conf/atal/2009-2 db/conf/atal/aamas2009-2.html#ZhangTP09