F. Heidenreich, C. Wende, and B. Demuth, “A Framework for Generating Query Language Code from OCL Invariants”, eceasst, vol. 9, Nov. 2007.