_id,doi,title
2038,10.1145/2629686,Temporal specifications with accumulative values