Hierarchical Finite State Machines (HFSMs)