Hideaki Sugimoto Atsushi Ohnishi A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications. 208-215 1999 conf/apsec/1999 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.1999.809604 db/conf/apsec/apsec1999.html#SugimotoO99