Hierarchical state charts have been formalized as a type of UML diagram. Details:

https://en.wikipedia.org/wiki/UML_state_machine