Found another interesting UML / Eclipse plugin of interest. This one is UniMod which focuses on class interaction and state transition diagrams as involing Finite State Machines. or finite automaton.