Using Models at Run Time to Detect Incomplete and Inconsistent Requirements
Generating obstacle conditions for requirements completeness