publication venue for Different models for model matching: An analysis of approaches to support model differencing 2009 Model-versioning-in-the-large: Algebraic foundations and the tile notation 2009