@inproceedings{Baumann_AWDKH_07,
    month            = jun,
    paperurl         = {https://trustworthy.systems/publications/papers/Baumann_AWDKH_07.pdf},
    booktitle        = {Proceedings of the  2007 USENIX Annual Technical Conference},
    author           = {Andrew Baumann and Jonathan Appavoo and Robert W. Wisniewski and Da Silva, Dilma and Orran Krieger
                        and Gernot Heiser},
    year             = {2007},
    address          = {Santa Clara, CA, USA},
    pages            = {337--350},
    title            = {Reboots are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly}
  }