Using Time-based Logic