Product Line Variability Modeling Based on Model Difference and Merge | IEEE Conference Publication | IEEE Xplore