behavior between states [...] state are completed [...] have an action. The state
the name StateNumber . [...] Machine VAR iState: INT; i [...] block. iState := iState