Wang, Xiaoliang; Fabian, Büttner; Lamo, Yngve (Peer reviewed; Journal article, 2014)
Model transformations are fundamental in model driven development. Thus, verification of model transformations is indispensable to ensure the quality and the reliability of transformation results. In this paper we focus ...