Harel StateCharts are gaining widespread usage since a variant hasbecome part of the Unified Modeling Language. The diagram type allowsthe modeling of superstates, concurrent states, and activities as ...