Runtime Constraint Checking Approaches for OCL, A Critical Comparison. - Carmen Avila; Amritam Sarcar; Yoonsik Cheon; Cesar Yeep (SEKE, 2010)