Automating Product-Line Variant Selection for Mobile Devices | IEEE Conference Publication | IEEE Xplore