Static Timing Analysis of Real-Time Operating Systems Code. - Andreas Ermedahl; Jan Gustafsson; Björn Lisper; Daniel Sandell (ISoLA (Preliminary proceedings), 2004)

Static Timing Analysis of Real-Time Operating System Code. - Daniel Sandell; Andreas Ermedahl; Jan Gustafsson; Björn Lisper (ISoLA, 2004)