digraph G {
DISABLED -> ALIVE;
ALIVE -> RECOVERING [label="test procedure timeout"];
RECOVERING -> ALIVE [label="test procedure success"];
}