A Study of Variability Models and Languages in the Systems Software Domain