Reasoning about Feature Models in Higher-Order Logic | IEEE Conference Publication | IEEE Xplore