Language for variability modeling (VM)