Méthodologie pour un processus d'analyse temporelle dirigé par les modèles pour les systèmes automobiles. (Methodology for a Model-based Timing Analysis Process for Automotive Systems). - Saoussen Rekik (2011)