Saurav Chatterjee Jay K. Strosnider Quantitative Analysis of Hardware Support for Real-Time Operating Systems. 123-142 1996 10 Real-Time Systems 2 db/journals/rts/rts10.html#ChatterjeeS96