On the value of user preferences in search-based software engineering: A case study in software product lines | IEEE Conference Publication | IEEE Xplore