A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications. - Hideaki Sugimoto; Atsushi Ohnishi (APSEC, 1999)