A software product line of feature modeling notations and cross-tree constraint languages
Formalizing cardinality-based feature models and their specialization