Evaluating Variability Modeling Techniques for Dynamic Software Product Lines: A Controlled Experiment | IEEE Conference Publication | IEEE Xplore