Automated source code annotation for timing analysis of embedded software | IEEE Conference Publication | IEEE Xplore