Modeling Variability from Requirements to Runtime | IEEE Conference Publication | IEEE Xplore