Compilation, worst case execution times, and schedulability analysis of statecharts modelsEdwin ErpenbachSold out4.3Track