Abstract diagnosis for timed concurrent constraint programs

Marco Comini, Laura Titolo, Alicia Villanueva. Abstract diagnosis for timed concurrent constraint programs. TPLP, 11(4-5):487-502, 2011. [doi]