 // @formatter:off
 // @startuml
 //
 // state start <<choice>>
 // state resume <<choice>>
 //
 // [*] --> INITIAL
 // INITIAL --> start : start()
 // start --> ACTIVE : OK
 // start --> PAUSED : error
 //
 // ACTIVE --> PAUSED : status(RED)
 // ACTIVE --> PAUSED : pause
 // ACTIVE --> STOPPED
 //
 // PAUSED --> resume : resume
 // resume --> ACTIVE : OK
 // resume --> PAUSED : error
 // PAUSED --> STOPPED
 // STOPPED --> [*]
 // @enduml
 //
 // See also https://manuscript.pushtechnology.com/f/page?W1085
 //
 // @formatter:on