Incrementally synthesizing controllers from scenario-based product line specifications

Greenyer, Joel; Brenner, Christian; Cordy, Maxime; Heymans, Patrick; Gressi, Erika (2015): Incrementally synthesizing controllers from scenario-based product line specifications. Software-engineering and management 2015. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-633-6. pp. 91-92. Dresden. 17.-20. März 2015