Wang, X., Büttner, F. and Lamo, Y. (2014) “Verification of Graph-based Model Transformations Using Alloy”, Electronic Communications of the EASST, 67. doi: 10.14279/tuj.eceasst.67.943.