New version of UniMod with statechart debugger released. Updated documentation is not available yet. Local and remote debugging are available. For local debugging select "Debug" from statechart context menu. To add breakpoint use special tool on statechart page. To use remote debugger - start model somewhere using standalone or servlet adapter, then in Eclipse open Run->Debug->UniMod Remote, define remote host and port and press Debug.