@inproceedings{Elphinstone_04,
    address          = {Sydney, Australia},
    author           = {Kevin Elphinstone},
    booktitle        = {Proceedings of the {NICTA} workshop on {OS} verification 2004, Technical Report 0401005T-1},
    editor           = {Gerwin Klein},
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/papers/Elphinstone_04.pdf},
    publisher        = {NICTA},
    title            = {Future Directions in the Evolution of the {L4} Microkernel},
    year             = {2004}
  }