A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude. - Farid Mokhati; Brahim Sahraoui; Soufiane Bouzaher; Mohamed Tahar Kimour (J. Object Technol., 2010)