Modeling Control Speculation for Timing Analysis Xianfeng LiTulika MitraAbhik Roychoudhury OriginalPaper Pages: 27 - 58
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels Tullio VardanegaJuan ZamoranoJuan Antonio de la Puente OriginalPaper Pages: 59 - 89