VM-FIT: Supporting Intrusion Tolerance with Virtualisation Technology - Hans P. Reiser (2010)