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