A TOOL ENVIRONMENT FOR SPECIFYING AND VERIFYING MULTI-AGENT SYSTEMS Topics: Agent Models and Architectures; Multi-Agent Systems; Privacy, Safety and Security; State Space Search In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, 323-326, 2010 , Valencia, Spain