Worst-case execution times and schedulability analysis of statecharts models | IEEE Conference Publication | IEEE Xplore