Update state machine diagram authored by Christian Zirkelbach's avatar Christian Zirkelbach
**TODO**: Show representation of entry, do, exit and explain usage. Add abort state.
**Sources:**
- http://www.omg.org/spec/UML/2.5 (Starting at PDF page 345)
- Transition notation: Starting at PDF page 371
......
......