@misc{Heiser_16:dagstuhl,
    author           = {Gernot Heiser},
    howpublished     = {Invited Dagstuhl Seminar},
    month            = oct,
    title            = {Challenges of Temporal Isolation},
    url              = {https://trustworthy.systems/publications/papers/Heiser_16:dagstuhl.abstract.pml},
    year             = {2016}
  }