Trace Analysis Using an Event-Driven Interval Temporal Logic | Publicación