Title: Phased design and verification of stabilizing systems
Subjects: Self-stabilization (Computer science), Fault-tolerant computing