Formal Concept Analysis: a Structural Framework for Variability Extraction and Analysis