1  digraph "task-state-transition" {
 2      "E-stop" [style=bold];
 3      "E-stop Reset";
 4      "Machine On";
 5  
 6      "E-stop" -> "E-stop Reset" [label="Estop Reset"];
 7  
 8      "E-stop Reset" -> "E-stop" [label="Estop"];
 9      "E-stop Reset" -> "Machine On" [label="Machine On"];
10  
11      "Machine On" -> "E-stop" [label="Estop"];
12      "Machine On" -> "E-stop Reset" [label="Machine Off"];
13  }
14