@article{ea193e45acfe4d16aca2f41e81cd7e72,
title = "Featured transition systems: Foundations for verifying variability- intensive systems and their application to LTL model checking",
author = "A. Classen and M. Cordy and P.-Y. Schobbens and P. Heymans and A. Legay and J.-F. Raskin",
year = "2013",
month = jan,
day = "1",
doi = "10.1109/TSE.2012.86",
language = "English",
volume = "39",
pages = "1069--1089",
journal = "Software Engineering, IEEE Transactions on",
issn = "0098-5589",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "8",
}