A framework for relating syntactic and semantic model differences
Semantic Diff: a tool for summarizing the effects of modifications