1280.86 계층적 FSM의 형식 검증