Joel Greenyer, Amir Molzam Sharifloo, Maxime Cordy, Patrick Heymans. Efficient consistency checking of scenario-based product-line specifications. In Mats Per Erik Heimdahl, Pete Sawyer, editors, 2012 20th IEEE International Requirements Engineering Conference (RE), Chicago, IL, USA, September 24-28, 2012. pages 161-170, IEEE, 2012. [doi]
Abstract is missing.