Footnotes

  1. This state machine diagram refers to the successful transitions caused by the USP commands that change the DU state and does not model the error cases. ↩︎

  2. This state machine diagram refers to the successful transitions caused by the SetRequestedState() command within the ExecutionUnit table and does not model the error cases. ↩︎