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