Seol mar théacs é seo: Trace Checking with Real−Time Specifications