A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. - Carmen Avila; Guillermo Flores; Yoonsik Cheon (Software Engineering Research and Practice, 2008)