1277.60 시간 제약 유한 상태 머신 (Timed FSM)의 정의