Figure B.8 - Finite State Machine Associated with Drive the Vehicle

Note callout of refined block apparently not yet supported.