Alexander Kozlenkov, Andrea Zisman. Are their Design Specifications Consistent with our Requirements?. In 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany. pages 145-156, IEEE Computer Society, 2002. [doi]
Abstract is missing.