Compilation, worst case execution times, and schedulability analysis of statecharts modelsEdwin ErpenbachÉpuisé4,3Prévenez-moi