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