Farid Mokhati Patrice Gagnon Mourad Badri Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. 356-362 2007 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.69 conf/qsic/2007 db/conf/qsic/qsic2007.html#MokhatiGB07