@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}
}
