Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language