@inproceedings{Elphinstone_HHPR_05,
    address          = {Cologne, DE},
    author           = {Kevin Elphinstone and Gernot Heiser and Ralf Huuck and Stefan M. Petters and Sergio Ruocco},
    booktitle        = {Embedded Security in Cars Conference (escar)},
    month            = nov,
    paperurl         = {https://trustworthy.systems/publications/papers/Elphinstone_HHPR_05.pdf},
    title            = {L4Cars},
    year             = {2005}
  }