Ab. Rahim, L. and Whittle, J. (2015) A survey of approaches for verifying model transformations. Software and Systems Modeling, 14 (2). pp. 1003-1028. ISSN 16191366