selected publications conference paper Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration. . 10196-10203. 2003