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