@inproceedings{cordy:hal-00718157, TITLE = {{Behavioural Modelling and Verification of Real-time Software Product Lines}}, AUTHOR = {Cordy, Maxime and Heymans, Patrick and Schobbens, Pierre-Yves and Legay, Axel}, URL = {https://inria.hal.science/hal-00718157}, BOOKTITLE = {{16th Software Product Line Conference}}, ADDRESS = {Salvador de Bahia, Brazil}, PUBLISHER = {{ACM}}, YEAR = {2012}, MONTH = Sep, HAL_ID = {hal-00718157}, HAL_VERSION = {v1}, }