Timely Virtual Machine Migration for Pro-active Fault Tolerance | IEEE Conference Publication | IEEE Xplore