@misc{Heiser_12:upmarc,
    author           = {Gernot Heiser},
    howpublished     = {Invited lecture at UPMARC Summer School on Programming Multicore Computer Systems, Uppsala, Sweden},
    month            = jun,
    title            = {How to Build Truly Dependable Systems},
    url              = {https://trustworthy.systems/publications/papers/Heiser_12:upmarc.abstract.pml},
    year             = {2012}
  }