_id,doi,title
4373,1571,"Real Time Temporal Logic: Past, Present, Future"