@article{Heiser_18,
    author           = {Heiser, Gernot},
    date             = {2018-3-23},
    doi              = {https://doi.org/10.1109/MDAT.2017.2766559},
    issue            = {2},
    journal          = {IEEE Design and Test},
    month            = mar,
    pages            = {27-30},
    paperurl         = {https://trustworthy.systems/publications/full_text/Heiser_18.pdf},
    publisher        = {IEEE},
    title            = {For Safety's Sake: We Need a New Hardware-Software Contract!},
    volume           = {35},
    year             = {2018}
  }