Statechart basics (PDF)
More statecharts (PDF)
Railcar example from Harel and Gery reading