Server recovery using naturally replicated state: a case study | IEEE Conference Publication | IEEE Xplore