Bounds on the time to detect failures using bounded-capacity message links | IEEE Conference Publication | IEEE Xplore