Enviar aquest missatge de text: Trace Checking with Real−Time Specifications