(1)
Schätz, B. Verification of Model Transformations.
ECEASST
2010
,
29
.