https://9dok.net/document/yd75xo4l-semantics-of-uml-state-machines.html