Jain, Meena, 2016. Fault tolerant system with imperfect coverage, reboot and server vacation 13.. https://doi.org/10.1007/s40092-016-0180-8