Title: Reliability modeling of proactive fault handling
Subjects: Self-stabilization (Computer science), Mathematical models