Graphical finite state machine editor with code generator.