@inbook{Klein_SW_10,
    author           = {Klein, Gerwin and Sewell, Thomas and Winwood, Simon},
    booktitle        = {Design and Verification of Microprocessor Systems for High-Assurance Applications},
    editor           = {{David Hardin}},
    isbn             = {978-1-4419-1538-2},
    keywords         = {isabelle/hol, sel4},
    month            = mar,
    pages            = {323--339},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3087.pdf},
    publisher        = {Springer},
    title            = {Refinement in the formal verification of {seL4}},
    year             = {2010}
  }