Motoshi Saeki Haruhiko Kaiya Satoshi Hattori Detecting Regulatory Vulnerability in Functional Requirements Specifications. 105-114 2009 ICSOFT (1) conf/icsoft/2009-1 db/conf/icsoft/icsoft2009-1.html#SaekiKH09