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