Deriving Timing Properties From System Traces Using Data-Driven Techniques