Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. - Joel Greenyer; Christian Brenner 001; Maxime Cordy; Patrick Heymans; Erika Gressi (Software Engineering & Management, 2015)

All-at-once-synthesis of controllers from scenario-based product line specifications. - Maxime Cordy; Jean-Marc Davril; Joel Greenyer; Erika Gressi; Patrick Heymans (SPLC, 2015)