Claudia Pons, Diego García. An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE. In Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio, editors, Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Volume 4199 of Lecture Notes in Computer Science, pages 646-660, Springer, 2006. [doi]