A. Narayanan and G. Karsai, “Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations”, ECEASST, vol. 4, Dec. 2006.