@inproceedings{Heiser_08,
    address          = {Glasgow, UK},
    author           = {Heiser, Gernot},
    booktitle        = {Workshop on Isolation and Integration in Embedded Systems},
    editor           = {{Michael Engel, Olaf Spinczyk}},
    keywords         = {virtual machines, embedded systems, operating systems, microkernels},
    month            = apr,
    pages            = {11--16},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/553.pdf},
    title            = {The Role of Virtualization in Embedded Systems},
    year             = {2008}
  }