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