publication venue for A tool for formal feature modeling based on BDDs and product families algebra 2010
