I have been involved in developing the SCXML interpreter and as a consequence I have learned a thing about UML state machines and "Harel Statecharts" in general. The goal is to share the knowledge with you before I manage to forget most of it.