@article{AGPV06,
title = {{Verifying Real-Time Properties of tccp Programs}},
author = {Alpuente, M. and Gallardo, M.M. and Pimentel, E. and Villanueva, A.},
journal = {Journal of Universal Computer Science},
volume = {12},
number = 11,
pages = {1551--1573},
year = 2006
}