Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL