Evaluating Tight Execution Time Bounds of Programs by Annotations (1989)

by A K Mok, P Amerasinghe, M Chen, K Tantisirivat
Venue:In Proc. of the 6th IEEE Workshop on Real-Time Operating Systems and Software