Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments | Publicación