State machines: broken link

The link to Harel Statecharts at University of Scranton is now broken. Is this the _Statecharts: A Visual Formalism for Complex Systems_ paper by David Harel?

A couple of other links to the document:
- https://doi.org/10.1016/0167-6423(87)90035-9 (redirects to sciencedirect.com/Elsevier's open archive copy)
- https://www.inf.ed.ac.uk/teaching/courses/seoc/2005_2006/resources/statecharts.pdf