Abstract diagnosis for timed concurrent constraint programs | Publicación