ecore . fmp a tool for editing and instantiating class models as feature models .
Formalizing cardinality-based feature models and their specialization