Scott D. Stoller;Fred B. Schneider
-;-
Automated Analysis of Fault-Tolerance in Distributed Systems
Formal Methods in System Design