LECTURES 5 - 6:
STATECHARTS
® Input/ (Action or Output) Transition: Guard
Superstates and Their Transitions
Watch Example
Timeout Transitions: Timeout(Event,
dt)
History Entry
Concurrency and Composition
Communications: Event Broadcasting