WCET analyzer/checker