@article{Heiser_05, month = dec, journal = {USENIX ;login:}, volume = {30}, number = {6}, author = {Gernot Heiser}, year = {2005}, pages = {9--13}, paperurl = {https://trustworthy.systems/publications/papers/Heiser_05.pdf}, title = {Secure Embedded Systems Need Microkernels} }