Worst-case space and time complexity of recursive procedures Johann BliebergerRoland Lieger OriginalPaper Pages: 115 - 144
Combining static worst-case timing analysis and program proof Roderick ChapmanAlan BurnsAndy Wellings OriginalPaper Pages: 145 - 171
Task behavior monitoring for adaptive real-time communication Sam K. OhGlenn H. Macewen OriginalPaper Pages: 173 - 195