Generating obstacle conditions for requirements completeness | IEEE Conference Publication | IEEE Xplore