F. Büttner and M. Kuhlmann, “Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL”, ECEASST, vol. 15, Dec. 2008.