최악시간 분석을 위한 Timing-C 언어의 설계 및 구현에 관한 연구