Static timing analysis of real-time operating system code. (2004)

by D Sandell, A Ermedahl, J Gustafsson, B Lisper
Venue:In 1st International Symposium on Leveraging Applications of Formal Methods,