대화형 멀티미디어 응용을 위한 시간적 명세에서의 수행전 오류 검출