Towards Reasoning About Product Lines with Design Choices | IEEE Conference Publication | IEEE Xplore