Narayanan, A.; Karsai, G. Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations. eceasst 2006, 4.