Resilient Virtualized Systems. - Michael Vu Le (2014)