@misc{Heiser_11:ospert,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT),
                        Porto, Portugal},
    month            = jul,
    title            = {Towards an {OS} Platform for Truly Dependable Real-Time Systems},
    url              = {https://trustworthy.systems/publications/papers/Heiser_11:ospert.abstract.pml},
    year             = {2011}
  }