Analyzing atomic broadcast in TTCAN networks | Publicación