"Semantically Configurable Consistency Analysis for Class and Object Diagrams."

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics