Enabling Verifiable Conformance for Product Lines | IEEE Conference Publication | IEEE Xplore