@inproceedings{Engel_HKPR_04,
    address          = {Lisbon, Portugal},
    author           = {Frank Engel and Gernot Heiser and Ihor Kuz and Stefan M. Petters and Sergio Ruocco},
    booktitle        = {Embedded Real-Time Systems Implementation ({ERTSI} 2004) Workshop},
    month            = dec,
    paperurl         = {https://trustworthy.systems/publications/papers/Engel_HKPR_04.pdf},
    title            = {Operating Systems on {SoCs}: A Good Idea?},
    year             = {2004}
  }