H Klare, J Gleitze - 2019 ACM/IEEE 22nd International …, 2019 - ieeexplore.ieee.org
Models are used to describe different properties of a software system. Those models often
share information that is represented redundantly and, thus, has to be kept consistent …