Diagram module for state machines. Builds diagram representations of state machines that can be rendered in various formats