Automated Feature Model-Based Generation of Refinement Transformations | IEEE Conference Publication | IEEE Xplore