B. Deianov

Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms

Joy N. Reed, J. N. Reed, D. M. Jackson, 1998, FASE.

Revising the Weakest Failure Detector for Uniform Reliable Broadcast

Marcos K. Aguilera, Sam Toueg, Borislav Deianov, 1999, DISC.