Feature configuration modeling and problem solving for software product line | IEEE Conference Publication | IEEE Xplore