Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking?