@inproceedings{Elphinstone_KK_06,
    address          = {Seattle, USA},
    author           = {Kevin Elphinstone and Gerwin Klein and Rafal Kolanski},
    booktitle        = {Verified Software: Theories, Tools and Experiments},
    editor           = {Rustan Leino},
    month            = aug,
    pages            = {1-7},
    paperurl         = {https://trustworthy.systems/publications/papers/Elphinstone_KK_06.pdf},
    series           = {Microsoft Research Technical Report MSR-TR-2006-117},
    title            = {Formalising a High-Performance Microkernel},
    year             = {2006}
  }