Using Models at Run Time to Detect Incomplete and Inconsistent Requirements
Research Directions in Requirements Engineering