Formalizing Feature Models

This work formalizes feature models in PVS. It is accompanied by the article "Reasoning about Feature Models in Higher-Order Logic."