VeriAgent: an Approach to Integrating UML and Formal Verification Tools. - Edjard Mota; Edmund M. Clarke; Alex Groce; Waleska Oliveira; Marcia Falcão; Jorge Y. Kanda (WMF, 2003)