X. Wang, F. Büttner, and Y. Lamo, “Verification of Graph-based Model Transformations Using Alloy”, eceasst, vol. 67, Aug. 2014.