Complementing Verification of Highly Configurable Design with Formal Techniques Author(s): Manik Tyagi, Deepak Jindal Download