發送短信: Trace Checking with Real−Time Specifications