Using Models at Run Time to Detect Incomplete and Inconsistent Requirements
Requirements Engineering: From System Goals to UML Models to Software Specifications