1277.72 시간 논리 (Temporal Logic)를 이용한 속성 명세