Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking | Publicación