Anfonwch hwn fel neges destun: Trace Checking with Real−Time Specifications