Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin. Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng., 39(8):1069-1089, 2013. [doi]
@article{ClassenCSHLR13,
title = {Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking},
author = {Andreas Classen and Maxime Cordy and Pierre-Yves Schobbens and Patrick Heymans and Axel Legay and Jean-François Raskin},
year = {2013},
doi = {10.1109/TSE.2012.86},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.86},
researchr = {https://researchr.org/publication/ClassenCSHLR13},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {39},
number = {8},
pages = {1069-1089},
}