Statechart scoping rules (PDF)
Transition step definition (PDF)
Step tracing example (PDF)
Using the Rhapsody system