Interval Based Temporal Logic (HS Notation)