STAn: analysis of data traces using an event-driven interval temporal logic | Publicación