Text this: Formal design of self-stabilizing programs.