Statecharts are one of the those concepts that are extremely useful for machine control that it seems crazy to me that they are so little adopted from what I have seen. At most people might know about a flat mealy state machine.

What's better than graphically designing your HSM, simulating it vs all kinds of scenarios to verify it, and auto generating the code?