Generic semantics of feature diagrams
Formalizing cardinality-based feature models and their specialization