@techreport {25291,
	title = {Zen-CI: Combining Automated Configuration Inference and Incremental Conformance Checking to Support Interactive Configuration of Product Lines},
	number = {2015-05},
	year = {2015},
	publisher = {Simula Research Laboratory},
	author = {Lu, Hong and Yue, Tao and Ali, Shaukat and Zhang, Li}
}
