Tool to create state machines, plot them in .dot format, and merge them