Narayanan, A.and G. Karsai. Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations. European Association of Software Science and Technology, Sept. 2007, doi:10.14279/tuj.eceasst.4.22.