Supporting Model Maintenance in Component-based Product Lines | IEEE Conference Publication | IEEE Xplore