Debugging of Inconsistent UML/OCL Models (2012)

by Robert Wille, Mathias Soeken, Rolf Drechsler