@misc{Heiser_13_2,
    address          = {Singapore},
    author           = {Heiser, Gernot},
    booktitle        = {Asia-Pacific Workshop on Systems (APSys)},
    keywords         = {sel4 microkernel verification},
    month            = jul,
    note             = {Keynote at APSys'13},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7313.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/7313.pdf},
    title            = {Can Truly Dependable Systems Be Affordable?},
    year             = {2013}
  }