Tibor Bosse Dung N. Lam K. Suzanne Barber Empirical Analysis for Agent System Comprehension and Verification. 723-729 2006 conf/iat/2006 IAT http://doi.ieeecomputersociety.org/10.1109/IAT.2006.61 db/conf/iat/iat2006.html#BosseLB06