1. A. Classen, P. Heymans, and P.-Y. Schobbens. What’s in a Feature: A Requirements Engineering Perspective. In J.L. Fiadeiro and P. Inverardi, editors, FASE’08, volume 4961 of LNCS, pages 16–30. Springer, 2008.
2. S. Apel, D. Batory, C. Kästner, and G. Saake. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, 2013.
3. A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin. Model Checking $$\underline{\text{Lots}}$$ of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In Proc. ICSE’10, pages 335–344. ACM, 2010.
4. A. Classen, M. Cordy, P.-Y. Schobbens, P. Heymans, A. Legay, and J.-F. Raskin. Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and their Application to LTL Model Checking. IEEE Trans. Softw. Eng., 39(8):1069–1089, 2013.
5. M. Cordy, X. Devroey, A. Legay, G. Perrouin, A. Classen, P. Heymans, P.-Y. Schobbens, and J.-F. Raskin. A Decade of Featured Transition Systems. In M.H. ter Beek, A. Fantechi, and L. Semini, editors, From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of LNCS, pages 285–312. Springer, 2019.