M. Nielsen and F. D. Valencia, “Temporal Concurrent Constraint Programming: Applications and Behavior”, BRICS, vol. 8, no. 48, Dec. 2001.