R. Borges and A. Mota, “Integrating UML and Formal Methods,” Electronic Notes in Theoretical Computer Science, Vol. 84, 2003, pp. 97-112.
has been cited by the following article: