On the stability theorem in failure-detection systems - Ni, M. L.; Chen, Y. (Springer, 1994)
http://dx.doi.org/10.1007/BF02191790
Keywords: SA-SP