@article {3507,
	title = {Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations},
	journal = {Electronic Communications of the EASST},
	volume = {4},
	year = {2006},
	author = {Narayanan, Anantha and Karsai, Gabor}
}
