Markus Strauch

Free
Quick Sequence Diagram Editor is a tool for creating UML sequence diagrams.
Free
Make use of a full-featured library for (finite) automata written in Java.