_id,doi,title
4515,10.1007/BFb0055640,It's about time: Real-time logics reviewed