Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans: On Featured Transition Systems. SOFSEM 2017: 453-463