Model-versioning-in-the-large: Algebraic foundations and the tile notation | IEEE Conference Publication | IEEE Xplore