We need a way (documentation, tools) to generate a graphical representation of the state machine from the code.
[Graphviz](http://www.graphviz.org/) is probably a good tool to generate the graph from the extracted data.