Inconsistency handling in mulit-perspective specifications. Trans Software Eng 20(8):569--578 (1994)

by A Finkelstein, D Gabbay, A Hunter, J Kramer, B Nuseibeh