Building a Self-Healing Operating System
Microreboot -- A Technique for Cheap Recovery