C. Quinton, Pleuss, A., Le Berre, D., Duchien, L., and Botterweck, G., “Consistency checking for the evolution of cardinality-based feature models”, in 18th International Software Product Line Conference, SPLC 14, Florence, Italy, September 15-19, 2014, 2014, pp. 122-131, doi: 10.1145/2648511.2648524.