Counterexample guided abstraction refinement of product-line behavioural models

Maxime Cordy, Patrick Heymans, Axel Legay, Pierre Yves Schobbens, Bruno Dawagne, Martin Leucker