Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty | IEEE Conference Publication | IEEE Xplore