@article{classen:hal-00717956, TITLE = {{Model Checking for Software Product Lines with SNIP}}, AUTHOR = {Classen, Andreas and Cordy, Maxime and Heymans, Patrick and Schobbens, Pierre-Yves and Legay, Axel}, URL = {https://inria.hal.science/hal-00717956}, JOURNAL = {{International Journal on Software Tools for Technology Transfer}}, PUBLISHER = {{Springer Verlag}}, YEAR = {2012}, DOI = {10.1007/s10009-012-0234-1}, HAL_ID = {hal-00717956}, HAL_VERSION = {v1}, }