Restructuring Requirements Specifications for Managing Inconsistencies and Change: A Case Study - Russo,A; Nuseibeh,B; Kramer,J (IEEE Computer Society Press, 1998)