[1]
B. Schätz, “Verification of Model Transformations”,
ECEASST
, vol. 29, Jul. 2010.