A taxonomy of variability realization techniques