%0 Conference Paper %K Software Product Lines %K Configuration %B 18th International Software Product Line Conference, SPLC 14, Florence, Italy, September 15-19, 2014 %D 2014 %P 122-131 %R 10.1145/2648511.2648524 %T Consistency checking for the evolution of cardinality-based feature models %U http://doi.acm.org/10.1145/2648511.2648524 %4 DBLP:conf/splc/2014