selected publications conference paper Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems. . 2006