Interesting point about state charts for hardware systems. They're indeed excellent for modeling complex system behaviors. I've heard of Stately/XState being used for some embedded control interfaces - while it's typically associated with web apps, the same statechart patterns work surprisingly well for describing hardware state machines and their transitions.