Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. - Farid Mokhati; Mourad Badri; Patrice Gagnon (SEKE, 2006)

Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. - Farid Mokhati; Patrice Gagnon; Mourad Badri (QSIC, 2007)

Applying Model Checking to Concurrent UML Models. - Patrice Gagnon; Farid Mokhati; Mourad Badri (J. Object Technol., 2008)