DOI,IST REx ID,Title of publication
1571,4373,"Real Time Temporal Logic: Past, Present, Future"