Slides of my talk: "From Traces To (Formal) Models".