An FSM containing other FSMs is known as a "block FSM".  A block FSM is similar to a system, except that a block FSM contains external gates called environment gates.  FSMs inside a block FSM can be connected to the environment gates and to each other.

A block FSM with two environment gates

An FSM inside a block FSM may itself be a block FSM.