Compilation, worst case execution times, and schedulability analysis of statecharts modelsEdwin ErpenbachAusverkauft4,3Bewachen
