@article{Klein_AKMHF_18,
    author           = {Klein, Gerwin and Andronick, June and Kuz, Ihor and Murray, Toby and Heiser, Gernot and Fernandez,
                        Matthew},
    date             = {2018-10-1},
    doi              = {https://doi.org/10.1145/3230627},
    issn             = {0001-0782},
    issue            = {10},
    journal          = {Communications of the ACM},
    month            = oct,
    pages            = {68-77},
    paperurl         = {https://trustworthy.systems/publications/full_text/Klein_AKMHF_18.pdf},
    publisher        = {ACM},
    title            = {Formally Verified Software in the Real World},
    volume           = {61},
    year             = {2018}
  }