Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly. - Baumann, Andrew; Appavoo, Jonathan; Wisniewski, Robert W.; Silva, Dilma Da; Krieger, Orran; Heiser, Gernot (2007)