Using Models at Run Time to Detect Incomplete and Inconsistent Requirements.

Byron DeVries, Betty H. C. Cheng

Browse the full MODELS paper archive.