Examples of finite state machine generated documentation with different diagramming tools and with tabular description.