Describir: AUTOMATED ANALYSIS OF FEATURE MODELS: CHALLENGES AHEAD.