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