Learning Temporal Properties from Data Streams