Strategies for product-line verification: Case studies and experiments | IEEE Conference Publication | IEEE Xplore