Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M\rquote ery, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.