Үүнийг мессежээр илгээх: Trace Checking with Real−Time Specifications