@misc{Heiser_20:rtcsa,
    author           = {Gernot Heiser},
    howpublished     = {Keynote at IEEE Conference on Embedded and Real-Time Computing and Applications},
    month            = aug,
    title            = {The Formally Verified {seL4} Microkernel -- A High-Assurance Foundation for {MCS}},
    video            = {https://youtu.be/d0oDVg72HhQ},
    year             = {2020}
  }