इसका टेक्स्ट मैसेज भेजे: Trace Checking with Real−Time Specifications