An extensible platform for product-line behavioural analysis. - Maxime Cordy; Marco Willemart; Bruno Dawagne; Patrick Heymans; Pierre-Yves Schobbens (SPLC Workshops, 2014)