@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} }