An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B In Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 190-198, 2008 , Barcelona, Spain