1280.88 계층적 FSM의 시뮬레이션 검증