Model-Based Compatibility Checking of System Modifications. - Arnd Poetzsch-Heffter; Christoph Feller; Ilham W. Kurnia; Yannick Welsch (ISoLA (1), 2012)