Maxime Cordy,
Xavier Devroey,
Axel Legay,
Gilles Perrouin,
Andreas Classen,
Patrick Heymans,
Pierre-Yves Schobbens,
Jean-François Raskin
(2019).
A Decade of Featured Transition Systems.
From Software Engineering to Formal Methods and Tools, and Back.