Greenyer, JoelBrenner, ChristianCordy, MaximeHeymans, PatrickGressi, ErikaAßmann, UweDemuth, BirgitSpitta, ThorstenPüschel, GeorgKaiser, Ronny2017-06-302017-06-302015978-3-88579-633-6enIncrementally synthesizing controllers from scenario-based product line specificationsText/Conference Paper1617-5468