Formal Description of Variability in Product Families | IEEE Conference Publication | IEEE Xplore