"Automated Invariant Maintenance Via OCL Compilation."

Kurt Stirewalt, Spencer Rugaber (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics