2012-09-27 A feature model with external logic Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki: SAT-based analysis of feature models is easy. SPLC 2009: 231-240