@misc{Heiser_18_2,
    publisher        = {web},
    note             = { at linux.conf.au},
    month            = jan,
    booktitle        = {Linux.conf.au},
    slides           = {https://www.slideshare.net/microkerneldude/flying-autonomous-aircraft-mixedcriticality-support-in-sel4},
    year             = {2018},
    keywords         = {operating systems real-time systems safety-critical systems},
    title            = {Flying autonomous aircraft: Mixed-criticality support in {seL4}},
    author           = {Heiser, Gernot},
    address          = {Sydney},
    video            = {https://archive.org/details/lca2018-Flying_autonomous_aircraft_Mixedcriticality_support_in_seL4},
    date             = {2018-1-26}
  }