The most intuitive and consistent behaviour of the AnalyserChannel OperatingModeSubStateMachine is that upon the 'Stop' method being called, that the state machine transitions 'Stopping' to 'Stopped'. The text suggests that instead it should be 'Stopping' to 'Aborted' but there is not transition for that.

7 - Stopping - Initiated by a Stop Method call, this state:

• Complete the ongoing acquisition if not too long
• Get the actual acquisition (partial acquisition)
• Discontinue the ongoing acquisition if partial acquisition does not make sense
• Go to safe states gently, no rush
  Transitions automatically to Aborted state.

I think the last line should read:
Transitions automatically to Stopped state.