Automatic Verification of Timed Concurrent Constraint Programs