@inproceedings{Heiser_11,
    title            = {Virtualizing Embedded Systems --- Why Bother?},
    month            = jun,
    isbn             = {978-1-4503-0636-2},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4758.pdf},
    booktitle        = {Design Automation Conference (DAC)},
    keywords         = {virtualization, embedded systems, real-time systems, consumer electronics, automotive, medical,
                        mobile},
    author           = {Heiser, Gernot},
    year             = {2011},
    pages            = {901--905},
    address          = {Dan Diego, CA, USA}
  }