publication venue for Exact high level WCET analysis of synchronous programs by symbolic state space exploration 2003