Modeling and Reasoning about Software Systems Containing Uncertainty and Variability | IEEE Conference Publication | IEEE Xplore