DOI,IST REx ID,Title of publication
null,4409,Games for the verification of timed systems