@proceedings {AGPV05c, title = {Verifying Real-Time Properties of tccp Programs}, journal = {Proc. of the Quintas Jornadas sobre Programaci{\'o}n y Lenguajes, PROLE{\textquoteright}05, 2005}, year = {2005}, pages = {85{\textendash}94}, author = {Maria Alpuente and Gallardo, M.M. and Pimentel, E. and Alicia Villanueva}, editor = {L{\'o}pez-Fraguas, F.J.} }