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