Modeling Variability in Software Product Line Using First Order Logic | IEEE Conference Publication | IEEE Xplore