"A UML Validation Toolset Based on Abstract State Machines."

Wuwei Shen, Kevin J. Compton, James Huggins (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics