Conducting Verification And Validation Of Multi-Agent Systems - A. Al-Neaimi; S. Qatawneh; Nedhal Al Saiyd (CoRR, 2012)