أرسل هذا في رسالة قصيرة: Trace Checking with Real−Time Specifications