Faults in linux: ten years later
Recovering device drivers