File:StateDiagramExample.png