1280.87 계층적 FSM의 모델 검사