Abstract Diagnosis for Timed Concurrent Constraint programs | Publicación