A categorical model of model merging and weaving. - Jonathan Y. Marchand; Benoît Combemale; Benoit Baudry (MiSE, 2012)