Christian Nentwich Wolfgang Emmerich Anthony Finkelstein Ernst Ellmer Flexible consistency checking. 28-63 2003 12 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/839268.839271 db/journals/tosem/tosem12.html#NentwichEFE03