UML Statecharts are Harel Statecharts, which are hierarchical state machines. Described here: Statecharts - A visual formalism for complex systems. David Harel

UML Statecharts are Harel Statecharts, which are hierarchical state machines. Described here: Statecharts - A visual formalism for complex systems. David Harel. 1987 https://archive.org/details/7.-statecharts https://archive.org/details/7.-statecharts Looks like you can also freely download the paper from here: https://www.sciencedirect.com/science/article/pii/0167642387900359 https://www.sciencedirect.com/science/article/pii/0167642387...