Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
Behavioural modelling and verification of real-time software product lines
SPLC, 2012.
@inproceedings{SPLC-2012-CordySHL,
author = "Maxime Cordy and Pierre-Yves Schobbens and Patrick Heymans and Axel Legay",
booktitle = "{Proceedings of the 16th International Software Product Line Conference}",
doi = "10.1145/2362536.2362549",
isbn = "978-1-4503-1094-9",
pages = "66--75",
publisher = "{ACM}",
title = "{Behavioural modelling and verification of real-time software product lines}",
year = 2012,
}