Approaching Model Edition as a Linear Logic Problem | IEEE Conference Publication | IEEE Xplore