Model transformations across views
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.