@article{FV06,
title = {{Automatic Verification of Timed Concurrent Constraint Programs}},
author = {Falaschi, M. and Villanueva, A.},
journal = {Theory and Practice of Logic Programming},
volume = {6},
number = 3,
pages = {265--300},
month = may,
year = 2006
}