A tool for automatic flow analysis of C-programs for WCET calculation (2003)

by J GUSTAFSSON, B LISPER, C SANDBERG, N BERMUDO
Venue:In Proc. 8th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS