B.: Inconsistency handling in multiperspective specifications (1994)

by A C W Finkelstein, D Gabbay, A Hunter, J Kramer, Nuseibeh
Venue:IEEE Trans. Softw. Eng