Self-stabilization with three-state machines