Our Paper Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications was accepted at ESEC/FSE 2013.