Kathrin D. Scheidemann Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems. 75-84 2006 conf/splc/2006 SPLC db/conf/splc/splc2006.html#Scheidemann06