Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer: Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. MoDELS 2012: 53-69