Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. Behavioural modelling and verification of real-time software product lines. In Eduardo Santana de Almeida, Christa Schwanninger, David Benavides, editors, 16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, 2012, Volume 1. pages 66-75, ACM, 2012. [doi]
Abstract is missing.