Notes & notation:

@Time : Time trigger/when it happens
condition: Condition for transition
Effect: What happens at moment of transition

All states are "waiting states". A Task, end of a procedure, or timer will trigger a transition. And during a transition something may happen (Effect)

Due to the similarity between Tx/Rx/CCA/ED their states are grouped together, but the transitions can only occur thru the valid paths:

TXRU ->  [TXIDLE, TXDISABLED]
RXRU ->  [RXIDLE, RXDISABLED]
TXIDLE -> [TX, TXDISABLED]
RXIDLE -> [RX, CCA, ED , RXDISABLED]

Similarly TASK_CCASTOP & TASK_EDSTOP only have any effect on CCA and ED states