Worst case timing analysis for real-time programs | IEEE Conference Publication | IEEE Xplore