"Inconsistency management framework for model-based development."

Alexander Reder (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics