@inproceedings{devroey:hal-00726121, TITLE = {{A Vision for 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-00726121}, BOOKTITLE = {{International Symposium On Leveraging Applications of Formal Methods, Verification and Validation}}, ADDRESS = {Amirandes, Heraclion, Greece}, YEAR = {2012}, MONTH = Oct, PDF = {https://inria.hal.science/hal-00726121/file/isola2012-root.pdf}, HAL_ID = {hal-00726121}, HAL_VERSION = {v1}, }