Contrôle des applications temps-réel: modèles temporisés et hybrides. Volume 25, numéro 3. - Hermes, 2006. - ( RSTI série TSI - Technique et Science Informatique ; 25).