A tool for automatic flow analysis of C-programs for WCET calculation | IEEE Conference Publication | IEEE Xplore