Software product lines and variability modeling: A tertiary study | Synapse