"Managing inconsistencies in an evolving specification."

Steve M. Easterbrook, Bashar Nuseibeh (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics