Anthony Hunter Bashar Nuseibeh Managing Inconsistent Specifications: Reasoning, Analysis, and Action. 335-367 1998 7 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/292182.292187 db/journals/tosem/tosem7.html#HunterN98