@article{Heiser_26,
    author           = {Gernot Heiser},
    doi              = {10.1109/MRL.2026.3680074},
    issn             = {2641-8819},
    journal          = {IEEE Reliability Magazine},
    month            = jun,
    number           = {2},
    numpages         = {8},
    paperurl         = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11501958},
    title            = {{seL4}: {O}perating Systems With the Reliability of Mathematics},
    volume           = {3},
    year             = {2026}
  }