Architecting product diversification - formalizing variability dependencies in software product family engineering | IEEE Conference Publication | IEEE Xplore