Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration | IEEE Conference Publication | IEEE Xplore