From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems | IEEE Conference Publication | IEEE Xplore