@inproceedings{Blackham_SCRH_11, month = nov, keywords = {wcet, microkernels, trusted systems, real-time systems}, publisher = {IEEE Computer Society}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/4863.pdf}, booktitle = {IEEE Real-Time Systems Symposium}, author = {Blackham, Bernard and Shi, Yao and Chattopadhyay, Sudipta and Roychoudhury, Abhik and Heiser, Gernot}, year = {2011}, pages = {339--348}, address = {Vienna, Austria}, title = {Timing Analysis of a Protected Operating System Kernel} }