Büttner, F., & Kuhlmann, M. (2008). Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL. Electronic Communications of the EASST, 15. https://doi.org/10.14279/tuj.eceasst.15.175