Farid Mokhati Noura Boudiaf Mourad Badri Linda Badri Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. 2007 6 Journal of Object Technology 4 http://www.jot.fm//issues/issue_2007_05/article2 db/journals/jot/jot6.html#MokhatiBBB07