DOI,IST REx ID,Title of publication
10.1007/11867340_1,4432,Timed alternating-time temporal logic