Anthony Finkelstein Dov M. Gabbay Anthony Hunter Jeff Kramer Bashar Nuseibeh Inconsistency Handling in Multi-Perspective Specifications. 84-99 1993 conf/esec/1993 ESEC db/conf/esec/esec93.html#FinkelsteinGHKN93