@inbook{Klein_SW_10,
    author =    {Gerwin Klein and Thomas Sewell and Simon Winwood},
    title =     {Refinement in the formal verification of seL4},
    booktitle = {Design and Verification of Microprocessor Systems for High-Assurance Applications},
    editor =    {David S. Hardin},
    pages =     {323--339},
    month =     Mar,
    year =      {2010},
    publisher = {Springer},
    doi =       {10.1007/978-1-4419-1539-9_11},
}