@misc{Heiser_12:tsd,
    author           = {Gernot Heiser},
    howpublished     = {Invited talk at 2nd Tsinghua Software Day, Beijing, China},
    month            = mar,
    title            = {Towards a Platform for Trustworthy Systems},
    url              = {https://trustworthy.systems/publications/papers/Heiser_12:tsd.abstract.pml},
    year             = {2012}
  }