Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model. - Shamim Hasnat Ripon; Sk. Jahir Hossain; Moshiur Mahamud Piash (Int. J. Knowl. Syst. Sci., 2014)