Behavioural modelling and verification of real-time software product lines.

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

Browse the full SPLC paper archive.