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