@misc{Heiser_24:pcds,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at International Symposium on Parallel Computing and Distributed Systems},
    month            = sep,
    title            = {{LionsOS}: A Highly Dependable Operating System for Cyberphysical Systems},
    url              = {https://trustworthy.systems/publications/papers/Heiser_24:pcds.abstract.pml},
    year             = {2024}
  }