Automatic verification of timed concurrent constraint programs | Publicación