The Variability Modeling and Configuration Language