Worst-Case Execution Time Analysis through Types (2009)

by S Jost, H-W Loidl, N Scaife, K Hammond, G Michaelson, M Hofmann
Venue:In Proc. of Euromicro Conference on Real-Time Systems (ECRTS’09