Nielsen, M.; Valencia, F. D. Temporal Concurrent Constraint Programming: Applications and Behavior. BRICS 2001, 8.