Note that this state machine was developed in conjunction with the DriveBlackBox interaction in Figure D.7.