GEARSHIFT: Guaranteeing availability requirements in SLAs using hybrid fault tolerance. - Andrés J. Gonzalez; Bjarne E. Helvik; Prakriti Tiwari; Denis M. Becker; Otto J. Wittner (INFOCOM, 2015)