Construction of a Highly Dependable Operating System
Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines