I haven't found any example of using TikZ for drawing Harel's statecharts notation. There are numerous examples of finite-state automata, but that cannot be applied for statecharts for two reasons: no hierarchy and no orthogonality. Can anyone suggest me please what is the best way to draw something as simple as this:
(A) --> (B(C) | C(D)),
where there are two top-level states: A and B|C (state with two orthogonal regions B and C, divided by a dashed line in the middle of state); B has a nasted state C, whereas C has a nested state D; interlevel connections should be possible, i.e. a directed connection between A and C.
Edited: here's the picture