@article {FV06,
	title = {Automatic Verification of Timed Concurrent Constraint programs},
	journal = {Theory and Practice of Logic Programming},
	volume = {6},
	number = {3},
	year = {2006},
	pages = {265{\textendash}300},
	keywords = {cc, model checking},
	author = {Moreno Falaschi and Alicia Villanueva}
}
