Wang, Xiaoliang, Fabian Büttner, and Yngve Lamo. 2014. “Verification of Graph-Based Model Transformations Using Alloy”. Electronic Communications of the EASST 67 (August). https://doi.org/10.14279/tuj.eceasst.67.943.