@phdthesis{vonTessin:phd,
    address          = {Sydney, Australia},
    author           = {von Tessin, Michael},
    keywords         = {formal verification, multiprocessor, microkernel, sel4, isabelle/hol},
    month            = dec,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7637.pdf},
    school           = {School of Computer Science and Engineering, UNSW, Sydney, Australia},
    title            = {The Clustered Multikernel: An Approach to Formal Verification of Multiprocessor Operating-System
                        Kernels},
    type             = {{PhD} Thesis},
    year             = {2013}
  }