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