A Markov model for quality of service of failure detectors in the presence of loss bursts | IEEE Conference Publication | IEEE Xplore