I am looking for a sophisticated graphical FSM editor that can export a model in a well-documented output format, like SCXML or similar.
Can anybody recommend me a tool?
I am only just now starting to look at YAKINDU - it looks like it might be a great graphical FSM tool built on top of the Eclipse framework, and has (IIUC) automatic code generation for the state graph.