1277.154 로봇 FSM 모델의 형식 검증 사례