@inproceedings{Boyton_ABFGGKLS_13,
    address          = {Queenstown, New Zealand},
    author           = {Boyton, Andrew and Andronick, June and Bannister, Callum and Fernandez, Matthew and Gao, Xin and
                        Greenaway, David and Klein, Gerwin and Lewis, Corey and Sewell, Thomas},
    booktitle        = {Proceedings of the 15th International Conference on Formal Engineering Methods},
    doi              = {10.1007/978-3-642-41202-8_6},
    editor           = {{Lindsay Groves, Jing Sun}},
    keywords         = {system initialisation, sel4, isabelle},
    month            = oct,
    pages            = {70--85},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7047.pdf},
    publisher        = {Springer},
    slides           = {https://trustworthy.systems/publications/nicta_slides/7047.pdf},
    title            = {Formally Verified System Initialisation},
    year             = {2013}
  }