1277.105 계층적 상태 머신 (Hierarchical FSM)의 형식 모델