_id,doi,title
3356,10.1109/LICS.2011.33,Temporal specifications with accumulative values