@inproceedings{devroey:hal-00718180, TITLE = {{Towards Behavioural Model-Driven Validation of Software Product Lines}}, AUTHOR = {Devroey, Xavier and Cordy, Maxime and Perrouin, Gilles and Kang, Eun-Young and Schobbens, Pierre-Yves and Heymans, Patrick and Legay, Axel and Baudry, Benoit}, URL = {https://inria.hal.science/hal-00718180}, BOOKTITLE = {{5th International Sympoisum on Leveraging Applications of Formal Methods}}, ADDRESS = {H{\'e}raklion, Cr{\`e}te, Greece}, YEAR = {2012}, MONTH = Oct, HAL_ID = {hal-00718180}, HAL_VERSION = {v1}, }