Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria | IEEE Conference Publication | IEEE Xplore