Exact high level WCET analysis of synchronous programs by symbolic state space exploration | IEEE Conference Publication | IEEE Xplore