A formal resolution strategy for operation-based conflicts in model versioning using graph modifications (Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik, 2011)