module StateMachines

TODO register graphviz as render engine