Modeling and analysis of product-line variants. - Shamim Ripon; Keya Azad; Sk. Jahir Hossain; Mehidee Hassan (SPLC (2), 2012)

Logic Verification of Product-Line Variant Requirements. - Shamim Ripon; Sk. Jahir Hossain; Keya Azad; Mehidee Hassan (CoRR, 2014)