DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS.2011.33,3356,"ToHe,KrCh",Temporal specifications with accumulative values