Wang, X.; Büttner, F.; Lamo, Y. Verification of Graph-Based Model Transformations Using Alloy. eceasst 2014, 67.