@inproceedings{cordy:hal-00718216, TITLE = {{Managing Evolution in Software Product Lines : A Model-Checking Perspective}}, AUTHOR = {Cordy, Maxime and Classen, Andreas and Heymans, Patrick and Schobbens, Pierre-Yves and Legay, Axel}, URL = {https://inria.hal.science/hal-00718216}, BOOKTITLE = {{6th International Workshop on Variability Modelling of Software Intensive Systems}}, ADDRESS = {Leipzig, Saxe, Germany}, PUBLISHER = {{ACM}}, PAGES = {183-191}, YEAR = {2012}, MONTH = Jan, HAL_ID = {hal-00718216}, HAL_VERSION = {v1}, }