Narayanan, A. and Karsai, G. (2006) “Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations”, Electronic Communications of the EASST, 4. doi: 10.14279/tuj.eceasst.4.22.