この資料をSMS送信: Trace Checking with Real−Time Specifications