1. Alpuente, M., Gallardo, M.M., Pimentel, E., Villanueva, A.: Verifying Real-Time Properties of tccp Programs. Journal of Universal Computer Science 12(11), 1551–1573 (2006)
2. Alpuente, M., Gallardo, M., Pimentel, E., Villanueva, A.: A semantic framework for the abstract model checking of tccp programs. Theoretical Computer Science 346(1), 58–95 (2005)
3. Boer, F.S.d., Gabbrielli, M., Meo, M.C.: A Timed Concurrent Constraint Language. Information and Computation 161(1), 45–83 (2000)
4. Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: LUSTRE: a declarative language for real-time programming. In: POPL 1987: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 178–188. ACM, New York (1987)
5. Gupta, V., Saraswat, V.A., Jagadeesan, R.: Foundations of Timed Concurrent Constraint Programming. In: Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, Paris, France, pp. 71–80. IEEE Computer Society Press, Los Alamitos (July 1994)