Return to Article Details One Way to Determine the Intervals in Hybrid Temporal Logic Download Download PDF