@misc{Heiser_12:artist,
    author           = {Gernot Heiser},
    howpublished     = {Invited lecture at the Artist Summer School on Embedded Systems, Aix-les-Bains, France},
    month            = sep,
    title            = {Can We Make Trusted Systems Trustworthy?},
    url              = {https://trustworthy.systems/publications/papers/Heiser_12:artist.abstract.pml},
    year             = {2012}
  }