VALIDATION OF MULTIAGENT SYSTEMS BY SYMBOLIC MODEL CHECKING. IN F. GIUNCHIGLIA, J. ODELL, G. WEISS (EDS.): AGENT-ORIENTED SOFTWARE ENGINEERING III