The following figure highlights the submachine states S12 and S2. Also, shows its implementation using the RKH framework.

Submachine states

The following figure highlights the submachine state machine SB. Also, shows its implementation using the RKH framework.

Referenced state machine