Comment by robopsychology

If you follow a proper state machine design then it should be exportable as a diagram, I’d assume.

I worked in a team that modeled with state machines and it was useful but I was the most junior member at 7 years experience