@article{Heiser_EKKP_07, author = {Heiser, Gernot and Elphinstone, Kevin and Kuz, Ihor and Klein, Gerwin and Petters, Stefan M.}, issn = {0163-5980}, journal = {ACM Operating Systems Review}, keywords = {security safety dependability real-time}, month = dec, number = {4}, pages = {3--11}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/541.pdf}, title = {Towards Trustworthy Computing Systems: Taking Microkernels to the Next Level}, volume = {41}, year = {2007} }