Tags and keywords
In the spec figure the StateMachine that refines the
PowerSourceManagement
block is called HSUV Operational States
, in this trail it is verbosely named after the figure: Figure D.8 - Finite State Machine Associated with “Drive the Vehicle”