Baumgartner, PeterFuchs, AlexanderTinelli, Cesare2015-12-10November 23540894381http://hdl.handle.net/1885/55058ME(LIA) - Model evolution with linear integer arithmetic constraints20082015-12-09