@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}
}
@article {AGPV05,
	title = {A Semantic Framework for the Abstract Model Checking of tccp programs},
	journal = {{Theoretical Computer Science}},
	volume = {346},
	year = {2005},
	pages = {58{\textendash}95},
	keywords = {Abstraction, cc, model checking},
	author = {Maria Alpuente and Gallardo, M.M. and Pimentel, E. and Alicia Villanueva}
}
@inbook {AFV04,
	title = {A Symbolic Model checker for tccp Programs},
	booktitle = {Proceedings of the International Workshop on Rapid Integration of Software Ingeneering techniques (RISE{\textquoteright}04)},
	series = {Lecture Notes in Computer Science},
	volume = {3475},
	year = {2005},
	pages = {45{\textendash}56},
	publisher = {Springer Verlag},
	organization = {Springer Verlag},
	keywords = {cc, model checking, symbolic representation},
	author = {Maria Alpuente and Moreno Falaschi and Alicia Villanueva}
}
@article {AGPV04,
	title = {Abstract Model Checking of tccp programs},
	journal = {Electronic Notes in Theoretical Computer Science (ENTCS)},
	volume = {112},
	year = {2004},
	pages = {19{\textendash}36},
	keywords = {Abstraction, cc, model checking},
	author = {Maria Alpuente and Gallardo, M.M. and Pimentel, E. and Alicia Villanueva}
}
@proceedings {AFV03b,
	title = {Symbolic Model Checking for Timed Concurrent Constraint Programs},
	journal = {Proceedings of the III Jornadas de Programaci{\'o}n y Lenguajes},
	year = {2003},
	address = {Alicante},
	keywords = {cc, model checking, symbolic representation},
	author = {Maria Alpuente and Moreno Falaschi and Alicia Villanueva}
}
@proceedings {FPV01,
	title = {Time Limited Model Checking},
	journal = {Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE{\textquoteright}01)},
	year = {2001},
	keywords = {cc, model checking},
	author = {Moreno Falaschi and Policriti, A. and Alicia Villanueva},
	editor = {Delzanno, G. and Etalle, S. and Gabbrielli, M.}
}
@article {FPV00b,
	title = {Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language - I},
	journal = {Electronic Notes in Theoretical Computer Science (ENTCS)},
	volume = {48},
	year = {2000},
	pages = {1{\textendash}15},
	keywords = {cc, model checking},
	author = {Moreno Falaschi and Policriti, A. and Alicia Villanueva}
}
@proceedings {FPV00a,
	title = {Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language},
	journal = {Proceedings of the 2000 Joint Conference on Declarative Programming},
	year = {2000},
	publisher = {University of La Habana},
	address = {La Habana, Cuba},
	keywords = {cc, model checking},
	author = {Moreno Falaschi and Policriti, A. and Alicia Villanueva}
}
