Graphviz Example: State machine