Compilation, worst case execution times, and schedulability analysis of statecharts modelsEdwin ErpenbachEsaurito4,3Avvisami